9b5ee1e13b
Also use sed to remove now unneeded Vim lines, 2to3 -f ws_comma to fix some whitespace, and fix some other madness manually.
19 lines
390 B
Python
Executable file
19 lines
390 B
Python
Executable file
#!/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)
|