diff options
author | Markus Wick <markus@selfnet.de> | 2014-02-14 09:17:24 +0100 |
---|---|---|
committer | Eric Anholt <eric@anholt.net> | 2014-02-14 15:14:54 -0800 |
commit | 7d11434e9c483d92dc7909d08ab0a8e59a890129 (patch) | |
tree | 4a292699b6e336b59147f0f723e29994f9fb2a3b | |
parent | 0a123b619258bcf8983276ae57410a71cdfab15d (diff) |
Fetch timeafter when the compilation is done.
Popen returns when the new process is opened, not when it's done.
-rwxr-xr-x | run.py | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -47,12 +47,6 @@ def run_test(filename): command, stdout=subprocess.PIPE, stderr=subprocess.PIPE) - except: - return filename + " FAIL" - - timeafter = time.time() - - try: (stdout, stderr) = p.communicate() results = (stdout + stderr).decode("utf-8") except KeyboardInterrupt: @@ -60,6 +54,8 @@ def run_test(filename): except: return filename + " FAIL\n" + timeafter = time.time() + with open(filename + '.out', 'w') as file: file.write(results) |