rebuild_all revision 1.1
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 clean)
12	echo ""
13	echo "***"
14	echo ""
15	(cd $dir ; time make -k depend)
16	echo ""
17	echo "***"
18	echo ""
19	(cd $dir ; time make -k)
20	echo ""
21	echo "***"
22	echo ""
23done
24