diff options
Diffstat (limited to 'testsuite/tests/lib-runtime-events/test_external.ml')
| -rw-r--r-- | testsuite/tests/lib-runtime-events/test_external.ml | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/testsuite/tests/lib-runtime-events/test_external.ml b/testsuite/tests/lib-runtime-events/test_external.ml index ecea4b7e13..df285e78cf 100644 --- a/testsuite/tests/lib-runtime-events/test_external.ml +++ b/testsuite/tests/lib-runtime-events/test_external.ml @@ -1,9 +1,13 @@ (* TEST - include runtime_events - include unix - * libunix - ** bytecode - ** native *) + include runtime_events; + include unix; + libunix; + { + bytecode; + }{ + native; + } +*) let got_major = ref false let got_minor = ref false |