saved_pwd_before_making=$PWD
for file in `find example tools -name Makefile`; do
cd $(dirname $file)
echo
echo "[$file]"
make -s clean
cd $saved_pwd_before_making done