diff --git a/scripts/runner.pl b/scripts/runner.pl index 5c29ede..9be936c 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -179,8 +179,8 @@ sub import_trace { "$fail_prune", "--database-option-file $remote_db_conf", "-v $experiment", "-b %%", - '-p NoPruner', - #'-p BasicPruner', + #'-p NoPruner', + '-p BasicPruner', "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log 2>&1" ); say "Prune command: $prune_command";