19 lines
390 B
Python
19 lines
390 B
Python
#!/usr/bin/env python
|
|
|
|
import os
|
|
import sys
|
|
|
|
if os.getcwd().endswith('dev'):
|
|
os.chdir('../../') # we were in scripts/dev
|
|
|
|
ret = 0
|
|
ret += os.system("make clean > " + os.devnull)
|
|
ret += os.system("make > " + os.devnull)
|
|
ret += os.system("make check > " + os.devnull)
|
|
|
|
if ret == 0:
|
|
print "Build successfull"
|
|
sys.exit(0)
|
|
else:
|
|
print >>sys.stderr, "Build failed"
|
|
sys.exit(1)
|