christoph/failnix
1
Fork 0
Code Releases Activity

disable trace pruning

Browse Source
This commit is contained in:
Christoph Urlacher
2026-05-11 15:52:15 +02:00
parent 40b8ba078a
commit beadbae5bf
1 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
scripts/runner.pl
View File

@ -176,15 +176,15 @@ sub import_trace {
# ) # )
# ); # );
my $prune_command = join " ", # my $prune_command = join " ",
( # (
"$fail_prune", "--database-option-file $remote_db_conf", # "$fail_prune", "--database-option-file $remote_db_conf",
"-v $experiment", "-b %%", # "-v $experiment", "-b %%",
"--overwrite", ">$remote_builds_dir/$experiment/2_prune.log" # "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log"
); # );
say "Prune command: $prune_command"; # say "Prune command: $prune_command";
#
system($prune_command); # system($prune_command);
} }
sub inject { sub inject {