update Makefile because of ubuntu failed to check tools/ubuntu

zbdba · May 12, 2016 · 8c988a2 · 8c988a2
1 parent 9a52ab7
commit 8c988a2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -85,6 +85,9 @@ all: $(OBJECT)
 	cp -r $(SO_DIR)/*  $(OUTPUT)/lib
 	cp $(OBJECT) $(OUTPUT)/bin/
 	mkdir $(OUTPUT)/tools
+	if [ -d $(TOOLS_DIR) ]; then \
+		cp -r $(TOOLS_DIR)/* $(OUTPUT)/tools/; \
+	fi
 	cp -r $(TOOLS_DIR)/* $(OUTPUT)/tools/
 	rm -rf $(OBJECT)
 	@echo "Success, go, go, go..."