Revert tools/clean_all_examples to clean Makefiles

24779b40 · gejun · c8160cf7 · 24779b40
Commit 24779b40 authored Sep 10, 2018 by gejun
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

clean_all_examples tools/clean_all_examples +2 -2

No files found.
--- a/tools/clean_all_examples
+++ b/tools/clean_all_examples
 saved_pwd_before_making=$PWD
-for file in `find tools example -name CMakeFiles -type d -prune -o -name CMakeLists.txt -print`; do
+for file in `find example tools -name Makefile`; do
    cd $(dirname $file)
    echo
    echo "[$file]"
-    rm -rf build
+    make -s clean
    cd $saved_pwd_before_making
 done