undo last change

This commit is contained in:
2026-04-21 16:34:10 +02:00
parent a7e2c14529
commit d1d6e4de34

View File

@ -211,8 +211,7 @@ sub inject {
"-Wf,--ok-marker=fail_marker_positive", "-Wf,--ok-marker=fail_marker_positive",
"-Wf,--fail-marker=fail_marker_negative", "-Wf,--fail-marker=fail_marker_negative",
"-Wf,--detected-marker=fail_marker_detected", "-Wf,--detected-marker=fail_marker_detected",
">/dev/null"
# ">/dev/null"
) )
) == 0 or die "client failed: $?"; ) == 0 or die "client failed: $?";