From 2ce45a2f0c63c17a90d61faa84a3fa68328d4641 Mon Sep 17 00:00:00 2001 From: Stephan Erb Date: Sun, 18 Oct 2009 18:43:25 +0200 Subject: [PATCH] Also run 'make check' in the build-test. --- scripts/dev/run-build-test.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/scripts/dev/run-build-test.py b/scripts/dev/run-build-test.py index a5050dda2..daf177e87 100755 --- a/scripts/dev/run-build-test.py +++ b/scripts/dev/run-build-test.py @@ -6,10 +6,12 @@ import sys if os.getcwd().endswith('dev'): os.chdir('../../') # we were in scripts/dev -ret1 = os.system("make clean > " + os.devnull + " 2>&1") -ret2 = os.system("make > " + os.devnull + " 2>&1") +ret = 0 +ret += os.system("make clean > " + os.devnull) +ret += os.system("make > " + os.devnull) +ret += os.system("make check > " + os.devnull) -if ret1 + ret2 == 0: +if ret == 0: print "Build successfull" sys.exit(0) else: