don't save client logs

2026-05-06 20:36:10 +02:00
parent be2c4b7bf2
commit 9ca8e88ec0
1 changed files with 3 additions and 2 deletions
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@ -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";