build tools before examples

milagroo · Nov 3, 2017 · df8571d · df8571d
1 parent 432d810
commit df8571d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/make_all_examples b/tools/make_all_examples
@@ -1,5 +1,5 @@
 saved_pwd_before_making=$PWD
-for file in `find example tools -name Makefile`; do
+for file in `find tools example -name Makefile`; do
     cd $(dirname $file)
     echo
     echo "[$file]"