diff options
Diffstat (limited to 'testsuite/tests/tool-toplevel/pr9701.ml')
-rw-r--r-- | testsuite/tests/tool-toplevel/pr9701.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/tool-toplevel/pr9701.ml b/testsuite/tests/tool-toplevel/pr9701.ml index 4dbbc2d614..daefafbff3 100644 --- a/testsuite/tests/tool-toplevel/pr9701.ml +++ b/testsuite/tests/tool-toplevel/pr9701.ml @@ -1,9 +1,9 @@ (* TEST -ocaml_script_as_argument = "true" -ocaml_exit_status = "2" -* setup-ocaml-build-env -** ocaml -*** check-ocaml-output + ocaml_script_as_argument = "true"; + ocaml_exit_status = "2"; + setup-ocaml-build-env; + ocaml; + check-ocaml-output; *) #1 "pr9701.ml" |