From dd87df37c17ce87163a0207c63eae5107c7d035d Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Thu, 21 May 2026 00:45:35 +0200 Subject: [PATCH] switch back to NoPruner --- scripts/runner.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/runner.pl b/scripts/runner.pl index ff1bdc0..e2845e3 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -179,8 +179,8 @@ sub import_trace { "$fail_prune", "--database-option-file $remote_db_conf", "-v $experiment", "-b %%", - #'-p NoPruner', - '-p BasicPruner', + '-p NoPruner', + #'-p BasicPruner', "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log 2>&1" ); say "Prune command: $prune_command";