From 02f5bdd801ffbfad3114b42039e4cc4512db28c4 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 16 Nov 2011 08:57:02 +0100 Subject: [PATCH] Added information output to run_CI_tests.py --- tests/run_CI_tests.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tests/run_CI_tests.py b/tests/run_CI_tests.py index 12e9e19f..270d9141 100644 --- a/tests/run_CI_tests.py +++ b/tests/run_CI_tests.py @@ -53,12 +53,14 @@ def runTestForProject(where): if clobber: rm_dir("EIFGENs") - # compile the library + # compile the restbucks + print "# Compiling restbucks example" cmd = "ecb -config %s -target restbucks -batch -c_compile -project_path . " % (os.path.join ("examples", "restbucks", "restbucks-safe.ecf")) res = eval_cmd(cmd) sleep(1) + print "# Launch check_compilations" if sys.platform == 'win32': cmd = "tests\\check_compilations.bat" else: @@ -67,6 +69,7 @@ def runTestForProject(where): cmd = "%s -clean" % (cmd) res_output = eval_cmd_output(cmd) + print "# Analyze check_compilations results" lines = re.split ("\n", res_output) regexp = "^(\S+)\s+(\S+)\s+from\s+(\S+)\s+\(([^\)]+)\)\.\.\.(\S+)$" p = re.compile (regexp); @@ -88,6 +91,8 @@ def runTestForProject(where): if len(failures) > 0: sys.exit(2) + print "# End..." + if __name__ == '__main__': runTestForProject(os.path.join (os.getcwd(), '..'))