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 {