diff options
author | jan Iversen <jani@apache.org> | 2018-07-05 22:41:22 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-07-06 08:04:20 -0700 |
commit | 70c000c905233030b9b2291deaa294413720f708 (patch) | |
tree | ef70adebfc0134083c0c9175d39e8192f5cc4369 /makefile | |
parent | efab865b07a8ffab4bc92a56d7d8d193f22095fa (diff) | |
download | subsurface-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-- | makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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 |