From 8f5e6f35b480398e8b63a2cfc47cea17c68a2064 Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Wed, 20 May 2026 21:31:07 +0200 Subject: [PATCH] switch back to BasicPruner --- scripts/runner.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/runner.pl b/scripts/runner.pl index 881a6d8..bb1317f 100644 --- 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";