From ebaf128d925b893c51a7d0b3da2017c319d76107 Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Wed, 27 May 2026 15:52:56 +0200 Subject: [PATCH] Switch back to BasicPruner --- scripts/runner.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/runner.pl b/scripts/runner.pl index 5c29ede..9be936c 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";