clean_all_examples 188 Bytes
Newer Older
1
saved_pwd_before_making=$PWD
2
for file in `find example tools -name Makefile`; do
3
    cd $(dirname $file)
4
    echo
5
    echo "[$file]"
6
    make -s clean
7 8
    cd $saved_pwd_before_making
done