diff options
Diffstat (limited to 'testsuite/tests/typing-multifile/pr6372.ml')
| -rw-r--r-- | testsuite/tests/typing-multifile/pr6372.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typing-multifile/pr6372.ml b/testsuite/tests/typing-multifile/pr6372.ml index 74457647da..fd148a1603 100644 --- a/testsuite/tests/typing-multifile/pr6372.ml +++ b/testsuite/tests/typing-multifile/pr6372.ml @@ -1,9 +1,9 @@ (* TEST -readonly_files = "d.mli e.ml" -* setup-ocamlc.byte-build-env -** ocamlc.byte -module = "d.mli" -*** ocamlc.byte -module = "e.ml" -**** check-ocamlc.byte-output + readonly_files = "d.mli e.ml"; + setup-ocamlc.byte-build-env; + module = "d.mli"; + ocamlc.byte; + module = "e.ml"; + ocamlc.byte; + check-ocamlc.byte-output; *) |