diff options
Diffstat (limited to 'testsuite/tests/statmemprof/blocking_in_callback.ml')
| -rw-r--r-- | testsuite/tests/statmemprof/blocking_in_callback.ml | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/testsuite/tests/statmemprof/blocking_in_callback.ml b/testsuite/tests/statmemprof/blocking_in_callback.ml index e1e40f1fb6..72d59e4f32 100644 --- a/testsuite/tests/statmemprof/blocking_in_callback.ml +++ b/testsuite/tests/statmemprof/blocking_in_callback.ml @@ -1,10 +1,16 @@ (* TEST -* hassysthreads -include systhreads -* skip -reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634" -** bytecode -** native + { + include systhreads; + hassysthreads; + }{ + reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634"; + skip; + { + bytecode; + }{ + native; + } + } *) let cnt = ref 0 |