From beadbae5bf22169fc1602fb4931a8591ea043a29 Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Mon, 11 May 2026 15:52:15 +0200 Subject: [PATCH] disable trace pruning --- scripts/runner.pl | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/scripts/runner.pl b/scripts/runner.pl index 615b684..38d75ba 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 {