2009-10-18 18:38:13 +02:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
|
|
|
|
if os.getcwd().endswith('dev'):
|
2010-02-08 15:08:40 +01:00
|
|
|
os.chdir('../../') # we were in scripts/dev
|
2009-10-18 18:38:13 +02:00
|
|
|
|
2009-10-18 18:43:25 +02:00
|
|
|
ret = 0
|
|
|
|
ret += os.system("make clean > " + os.devnull)
|
2010-02-08 15:08:40 +01:00
|
|
|
ret += os.system("make > " + os.devnull)
|
2009-10-18 18:43:25 +02:00
|
|
|
ret += os.system("make check > " + os.devnull)
|
2009-10-18 18:38:13 +02:00
|
|
|
|
2009-10-18 18:43:25 +02:00
|
|
|
if ret == 0:
|
2010-02-08 15:08:40 +01:00
|
|
|
print "Build successfull"
|
|
|
|
sys.exit(0)
|
2009-10-18 18:38:13 +02:00
|
|
|
else:
|
2010-02-08 15:08:40 +01:00
|
|
|
print >>sys.stderr, "Build failed"
|
|
|
|
sys.exit(1)
|