don't save client logs

This commit is contained in:
2026-05-06 20:36:10 +02:00
parent 278eb8c980
commit 3ebc07bfc8
6 changed files with 18 additions and 2 deletions

View File

@ -225,8 +225,9 @@ sub inject {
"-Wf,--fail-marker=fail_marker_negative",
"-Wf,--detected-marker=fail_marker_detected",
# ">/dev/null"
">$remote_builds_dir/$experiment/4_client.log"
">/dev/null"
# ">$remote_builds_dir/$experiment/4_client.log"
);
say "Client command: $client_command";