From 9ca8e88ec02938e86ace444495d9b0ae4540d70e Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Wed, 6 May 2026 20:36:10 +0200 Subject: [PATCH] don't save client logs --- scripts/runner.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/runner.pl b/scripts/runner.pl index 18e2b3d..615b684 100644 --- 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";