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