+ message "== running darcs get --partial $* $repo"
+ darcs get --partial $* $repo
+ fi
+ done
+
+ if test "$extra" = "YES"; then
+ for pkg in `cat extra-packages`; do
+ if test -d $pkg; then
+ echo "warning: $pkg already present; omitting"
+ else
+ repo=$default_extra_lib_repo_root/$pkg
+ message "== running darcs get --partial $* $repo"