From b4b9552c8eb337868ee0dd8dc4de8df1cc5b1ffd Mon Sep 17 00:00:00 2001 From: Benjamin Wibking Date: Tue, 18 Jun 2024 03:24:10 +1000 Subject: [PATCH 1/2] do not purge output if making benchmarks --- regtest.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/regtest.py b/regtest.py index c592dd1..20784e6 100755 --- a/regtest.py +++ b/regtest.py @@ -1185,8 +1185,11 @@ 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: + print("pfile:", pfile) + print("output_file:", output_file) + # delete the plt/chk file try: shutil.rmtree(pfile) From f28e1edfdf051df08405e6a0e9fe3e570647354a Mon Sep 17 00:00:00 2001 From: Ben Wibking Date: Thu, 20 Jun 2024 13:04:17 -0400 Subject: [PATCH 2/2] Update regtest.py --- regtest.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/regtest.py b/regtest.py index 05a9c1c..4edb520 100755 --- a/regtest.py +++ b/regtest.py @@ -1189,9 +1189,6 @@ def test_suite(argv): if suite.purge_output == 1 and not pfile == output_file and not suite.make_benchmarks: - print("pfile:", pfile) - print("output_file:", output_file) - # delete the plt/chk file try: shutil.rmtree(pfile)