1#!/bin/sh - 2 3dirlist=`find . -type d ! \( -name . -o -name CVS \) -prune | \ 4 sed -e s,./,, | sort` 5 6for 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 "" 15done 16