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 {