summaryrefslogtreecommitdiffstats
path: root/makefile
diff options
context:
space:
mode:
authorGravatar jan Iversen <jani@apache.org>2018-07-05 22:41:22 +0200
committerGravatar Dirk Hohndel <dirk@hohndel.org>2018-07-06 08:04:20 -0700
commit70c000c905233030b9b2291deaa294413720f708 (patch)
treeef70adebfc0134083c0c9175d39e8192f5cc4369 /makefile
parentefab865b07a8ffab4bc92a56d7d8d193f22095fa (diff)
downloadsubsurface-70c000c905233030b9b2291deaa294413720f708.tar.gz
ssrf: add "make check" to central makefile
extend ssrf/makefile with "make check" option. This is just a convinience function, to not need to "cd build" first Signed-off-by: Jan Iversen <jani@apache.org>
Diffstat (limited to 'makefile')
-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