diff options
Diffstat (limited to 'testsuite/tests/statmemprof/alloc_counts.ml')
-rw-r--r-- | testsuite/tests/statmemprof/alloc_counts.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/statmemprof/alloc_counts.ml b/testsuite/tests/statmemprof/alloc_counts.ml index de0d1e9e49..ce8a90fc04 100644 --- a/testsuite/tests/statmemprof/alloc_counts.ml +++ b/testsuite/tests/statmemprof/alloc_counts.ml @@ -1,6 +1,6 @@ (* TEST -* skip -reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634" + reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634"; + skip; *) module MP = Gc.Memprof |