diff options
Diffstat (limited to 'testsuite/tests/statmemprof/minor_no_postpone.ml')
-rw-r--r-- | testsuite/tests/statmemprof/minor_no_postpone.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/statmemprof/minor_no_postpone.ml b/testsuite/tests/statmemprof/minor_no_postpone.ml index 21c8bfb244..395070a2c8 100644 --- a/testsuite/tests/statmemprof/minor_no_postpone.ml +++ b/testsuite/tests/statmemprof/minor_no_postpone.ml @@ -1,7 +1,7 @@ (* TEST - modules = "minor_no_postpone_stub.c" - * skip - reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634" + modules = "minor_no_postpone_stub.c"; + reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634"; + skip; *) open Gc.Memprof |