From a628fa1672a62cbb5328a90ba9dee13bdd324974 Mon Sep 17 00:00:00 2001 From: Stephan Erb Date: Sun, 18 Oct 2009 18:38:13 +0200 Subject: [PATCH] Add simple build check script --- scripts/dev/run-build-test.py | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 scripts/dev/run-build-test.py diff --git a/scripts/dev/run-build-test.py b/scripts/dev/run-build-test.py new file mode 100755 index 000000000..a5050dda2 --- /dev/null +++ b/scripts/dev/run-build-test.py @@ -0,0 +1,20 @@ +#!/usr/bin/env python + +import os +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") + +if ret1 + ret2 == 0: + print "Build successfull" + sys.exit(0) +else: + print >>sys.stderr, "Build failed" + sys.exit(1) + +# vim: se ts=3: +