diff --git a/scripts/runner.pl b/scripts/runner.pl index 78fc868..bef6092 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -211,8 +211,7 @@ sub inject { "-Wf,--ok-marker=fail_marker_positive", "-Wf,--fail-marker=fail_marker_negative", "-Wf,--detected-marker=fail_marker_detected", - - # ">/dev/null" + ">/dev/null" ) ) == 0 or die "client failed: $?";