From eefabbd043ba208cd8e6d26b7d53ce196ecd4f2c Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Mon, 11 May 2026 16:05:16 +0200 Subject: [PATCH] reenable trace pruning --- scripts/runner.pl | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/scripts/runner.pl b/scripts/runner.pl index 38d75ba..615b684 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -176,15 +176,15 @@ sub import_trace { # ) # ); - # my $prune_command = join " ", - # ( - # "$fail_prune", "--database-option-file $remote_db_conf", - # "-v $experiment", "-b %%", - # "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log" - # ); - # say "Prune command: $prune_command"; - # - # system($prune_command); + my $prune_command = join " ", + ( + "$fail_prune", "--database-option-file $remote_db_conf", + "-v $experiment", "-b %%", + "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log" + ); + say "Prune command: $prune_command"; + + system($prune_command); } sub inject {