File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -92,14 +92,14 @@ def main():
9292 # This is the most important check: is the output file exactly the
9393 # same.
9494 if reference_md5 != second_md5 :
95- sys .exit ("non-determinism when generating: " + output_file +
95+ sys .exit ("ERROR: non-determinism when generating: " + output_file +
9696 "\n command line:\n " + " " .join (new_args ))
9797
9898 # This is the bonus check: does the compiler not re-write the output
9999 # file. (For compilations < 1sec this check may succeed even if the
100100 # file was overwritten).
101101 if compare_time and reference_time != second_time :
102- sys .exit ("file re-written: " + output_file )
102+ sys .exit ("ERROR: file timestamp was re-written: " + output_file )
103103
104104
105105if __name__ == '__main__' :
You can’t perform that action at this time.
0 commit comments