diff options
Diffstat (limited to 'testsuite/tests/statmemprof/exception_callback_minor.ml')
-rw-r--r-- | testsuite/tests/statmemprof/exception_callback_minor.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/statmemprof/exception_callback_minor.ml b/testsuite/tests/statmemprof/exception_callback_minor.ml index 0bb37782be..d389bc5ceb 100644 --- a/testsuite/tests/statmemprof/exception_callback_minor.ml +++ b/testsuite/tests/statmemprof/exception_callback_minor.ml @@ -1,7 +1,7 @@ (* TEST - exit_status = "2" - * skip - reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634" + exit_status = "2"; + reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634"; + skip; *) open Gc.Memprof |