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