diff --git a/scripts/runner.pl b/scripts/runner.pl index 8ea063e..881a6d8 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -180,6 +180,7 @@ sub import_trace { ( "$fail_prune", "--database-option-file $remote_db_conf", "-v $experiment", "-b %%", + '-p NoPruner', "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log" ); say "Prune command: $prune_command";