diff options
Diffstat (limited to 'testsuite/tests/c-api/test_c_thread_has_lock.ml')
| -rw-r--r-- | testsuite/tests/c-api/test_c_thread_has_lock.ml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/tests/c-api/test_c_thread_has_lock.ml b/testsuite/tests/c-api/test_c_thread_has_lock.ml index e826001559..a7b176c8d1 100644 --- a/testsuite/tests/c-api/test_c_thread_has_lock.ml +++ b/testsuite/tests/c-api/test_c_thread_has_lock.ml @@ -1,7 +1,10 @@ (* TEST - modules = "test_c_thread_has_lock_cstubs.c" - * bytecode - * native + modules = "test_c_thread_has_lock_cstubs.c"; + { + bytecode; + }{ + native; + } *) external test_with_lock : unit -> bool = "with_lock" |