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():
92
92
# This is the most important check: is the output file exactly the
93
93
# same.
94
94
if reference_md5 != second_md5 :
95
- sys .exit ("non-determinism when generating: " + output_file +
95
+ sys .exit ("ERROR: non-determinism when generating: " + output_file +
96
96
"\n command line:\n " + " " .join (new_args ))
97
97
98
98
# This is the bonus check: does the compiler not re-write the output
99
99
# file. (For compilations < 1sec this check may succeed even if the
100
100
# file was overwritten).
101
101
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 )
103
103
104
104
105
105
if __name__ == '__main__' :
You can’t perform that action at this time.
0 commit comments