diff --git a/regtest.py b/regtest.py index 2ab62fb..4edb520 100755 --- a/regtest.py +++ b/regtest.py @@ -1187,7 +1187,7 @@ def test_suite(argv): match_count += 1 - if suite.purge_output == 1 and not pfile == output_file: + if suite.purge_output == 1 and not pfile == output_file and not suite.make_benchmarks: # delete the plt/chk file try: