fix test

yoni206 · Sep 12, 2023 · 89a44ff · 89a44ff
1 parent 998333c
commit 89a44ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/regress/cli/regress0/parser/stdout-diag.smt2 b/test/regress/cli/regress0/parser/stdout-diag.smt2
@@ -1,5 +1,5 @@
 ; Ensure that no `stdout` or `"stdout"` file is created
-; SCRUBBER: ls stdout || ls \"stdout\" || echo success
+; SCRUBBER: [ -f  stdout ] || [ -f \"stdout\" ] || echo success
 ; EXPECT: success
 (set-option :global-declarations true)
 (set-option :diagnostic-output-channel "stdout")