>
> ls -1 deps |xargs -I NAME echo make -C deps/NAME fetch |bash
> ls -1 gnome |xargs -I NAME echo make -C gnome/NAME fetch |bash
> ls -1 gnu |xargs -I NAME echo make -C gnu/NAME fetch |bash
> ls -1 gnustep |xargs -I NAME echo make -C gnustep/NAME fetch |bash
> ls -1 alpha |xargs -I NAME echo make -C alpha/NAME fetch |bash
>
>
> # This script is in the public domain. It is too simple to copyright.
Or, just as easily:
for d in {deps,gnome,gnu,gnustep,alpha}/*; do make -C $d fetch; done
Or, simply:
make fetch
You've got a point. I'm still undecided, but fortunately I've got a
couple months to make up my mind...
-b
