diff options
Diffstat (limited to 'testsuite/tests/ephe-c-api/test.ml')
| -rw-r--r-- | testsuite/tests/ephe-c-api/test.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ephe-c-api/test.ml b/testsuite/tests/ephe-c-api/test.ml index ff1646835a..e84c012ace 100644 --- a/testsuite/tests/ephe-c-api/test.ml +++ b/testsuite/tests/ephe-c-api/test.ml @@ -1,7 +1,7 @@ (* TEST - modules = "stubs.c" - * skip - reason = "port the new Ephemeron C-api to multicore : https://github.com/ocaml/ocaml/pull/676" + modules = "stubs.c"; + reason = "port the new Ephemeron C-api to multicore : https://github.com/ocaml/ocaml/pull/676"; + skip; *) (* C version of ephetest.ml *) |