diff options
Diffstat (limited to 'testsuite/tests/lib-runtime-events/test_dropped_events.ml')
-rw-r--r-- | testsuite/tests/lib-runtime-events/test_dropped_events.ml | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/testsuite/tests/lib-runtime-events/test_dropped_events.ml b/testsuite/tests/lib-runtime-events/test_dropped_events.ml index 7443833499..04df10ef9f 100644 --- a/testsuite/tests/lib-runtime-events/test_dropped_events.ml +++ b/testsuite/tests/lib-runtime-events/test_dropped_events.ml @@ -1,10 +1,13 @@ (* TEST - include runtime_events - include unix - set OCAMLRUNPARAM = "e=6" - * libunix - ** native - ** bytecode + include runtime_events; + include unix; + set OCAMLRUNPARAM = "e=6"; + libunix; + { + native; + }{ + bytecode; + } *) type Runtime_events.User.tag += Ev |