Only ask for WAMR-specific build options for WAMR builds

This commit is contained in:
2026-06-09 13:51:40 +02:00
parent c5c5172f65
commit 454a85043f
3 changed files with 40 additions and 27 deletions

View File

@ -180,8 +180,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";