diff options
-rw-r--r-- | testsuite/tests/profiling/should_run/all.T | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/profiling/should_run/all.T b/testsuite/tests/profiling/should_run/all.T index a56223d848..b711055667 100644 --- a/testsuite/tests/profiling/should_run/all.T +++ b/testsuite/tests/profiling/should_run/all.T @@ -124,8 +124,7 @@ test('T11627a', [ extra_ways(extra_prof_ways), test('T11627b', [ extra_run_opts('+RTS -i0 -RTS') # census after each GC , extra_ways(extra_prof_ways) , when(opsys('darwin'), skip) - , when(opsys('mingw32'), - expect_broken_for(12236, ['prof_hc_hb'])) + , when(opsys('mingw32'), fragile_for(12236, ['prof_hc_hb'])) ] , compile_and_run , ['']) |