diff options
Diffstat (limited to 'testsuite/tests/c-api/test_c_thread_has_lock_systhread.ml')
-rw-r--r-- | testsuite/tests/c-api/test_c_thread_has_lock_systhread.ml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/testsuite/tests/c-api/test_c_thread_has_lock_systhread.ml b/testsuite/tests/c-api/test_c_thread_has_lock_systhread.ml index 65327be652..ac043c5e92 100644 --- a/testsuite/tests/c-api/test_c_thread_has_lock_systhread.ml +++ b/testsuite/tests/c-api/test_c_thread_has_lock_systhread.ml @@ -1,9 +1,12 @@ (* TEST - modules = "test_c_thread_has_lock_cstubs.c" - * hassysthreads - include systhreads - ** bytecode - ** native + modules = "test_c_thread_has_lock_cstubs.c"; + include systhreads; + hassysthreads; + { + bytecode; + }{ + native; + } *) external test_with_lock : unit -> bool = "with_lock" |