3 top_dirs="nofib testsuite"
7 for dir in $top_dirs; do
8 if test -d $dir -a -d $dir/_darcs; then
9 echo "== running darcs $* in $dir"
12 echo "== $dir not present or not a repository; skipping"
16 for repo in `cat default-packages`; do
19 echo "== running darcs $* in libraries/$dir"
22 echo "warning: $dir doesn't seem to exist, use 'darcs-all get' to get it"
31 *) echo "warning: adding --partial, to override use --complete"
35 for repo in `cat default-packages`; do
36 if test -d `basename $repo`; then
37 echo "warning: `basename $repo` already present; omitting"
39 echo "== running darcs get --partial $* $repo"
40 darcs get --partial $* $repo
45 if test ! -d _darcs -o ! -d ghc; then
46 echo "error: darcs-all must be run from the top level of the ghc tree."
53 get) shift; darcsget $*;;
54 *) echo "syntax: ./darcs-all push|pull"; exit 1;;