update postBuild error checking

to be more flexible if the postBuild line changes
pull/241/head
Min RK 2018-02-19 13:06:07 +01:00
rodzic 01bb6d1e19
commit 88d2f6d788
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -37,7 +37,7 @@ def does_build(builddir, mem_limit, mem_allocate_mb):
except subprocess.CalledProcessError as e:
output = e.output.decode()
print(output)
if "The command '/bin/sh -c ./postBuild' returned a non-zero code: 137" in output:
if "/postBuild' returned a non-zero code: 137" in output:
return False
else:
raise