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";