switch back to BasicPruner

2026-05-20 21:31:07 +02:00
parent 8ac7cf8a70
commit 8f5e6f35b4
1 changed files with 2 additions and 1 deletions
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@ -180,7 +180,8 @@ sub import_trace {
      (
        "$fail_prune",    "--database-option-file $remote_db_conf",
        "-v $experiment", "-b %%",
-        '-p NoPruner',
+        #'-p NoPruner',
+        `-p BasicPruner`,
        "--overwrite",    ">$remote_builds_dir/$experiment/2_prune.log"
      );
    say "Prune command: $prune_command";