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