aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/makefile b/makefile
index f9b47c2ca..effbdb4b2 100644
--- a/makefile
+++ b/makefile
@@ -19,4 +19,9 @@ desktop:
cd build; LIBRARY_PATH=../install_root/lib make
cd build; LIBRARY_PATH=../install_root/lib make install
-all: desktop mobile
+check:
+ if test ! -d build; then (echo "error: please run build.sh before make"; exit -1;); fi
+ cd build; LIBRARY_PATH=../install_root/lib make check
+
+
+all: desktop mobile check