mirror of https://github.com/ARMmbed/mbed-os.git
Add travis test whether the testsuite is usable
parent
c5a4d1068e
commit
482941ab0e
|
@ -134,7 +134,14 @@ def run_test_linking(dry_run):
|
|||
if os.system(cmdline) != 0:
|
||||
sys.exit(1)
|
||||
|
||||
def run_test_testsuite(dry_run):
|
||||
cmdline = "python workspace_tools/singletest.py --version"
|
||||
print "Executing: " + cmdline
|
||||
if not dry_run:
|
||||
if os.system(cmdline) != 0:
|
||||
sys.exit(1)
|
||||
|
||||
if __name__ == "__main__":
|
||||
run_builds("-s" in sys.argv)
|
||||
run_test_linking("-s" in sys.argv)
|
||||
run_test_testsuite("-s" in sys.argv)
|
||||
|
|
Loading…
Reference in New Issue