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