1 #!/bin/sh - 2 3 dirlist=`find . -type d ! \( -name . -o -name CVS \) -prune | \ 4 sed -e s,./,, | sort` 5 6 for dir in $dirlist; do 7 echo === $dir 8 echo "" 9 echo "***" 10 echo "" 11 (cd $dir ; time make -k) 12 echo "" 13 echo "***" 14 echo "" 15 done 16
Indexes created Tue Sep 30 11:09:46 GMT 2025