tools/clean_all_makefile

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