From df8571d11e0a188ee958abd77226b97013089541 Mon Sep 17 00:00:00 2001
From: gejun <gejun@baidu.com>
Date: Fri, 3 Nov 2017 15:59:40 +0800
Subject: [PATCH] build tools before examples

---
 tools/make_all_examples | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/make_all_examples b/tools/make_all_examples
index 78d29aa466..7742ffe695 100755
--- 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]"