diff options
-rw-r--r-- | libraries/base/tests/all.T | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index 0b45c9aff2..61367e4491 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -170,8 +170,8 @@ test('T7773', when(opsys('mingw32'), skip), compile_and_run, ['']) test('CatPairs', normal, compile, ['']) test('CatEntail', normal, compile, ['']) -# When running with WAY=ghci, T7653 uses a lot of memory. -test('T7653', high_memory_usage, compile_and_run, ['']) +# When running with WAY=ghci and profiled ways, T7653 uses a lot of memory. +test('T7653', omit_ways(prof_ways+['ghci']), compile_and_run, ['']) test('T7787', normal, compile_and_run, ['']) test('topHandler01', when(opsys('mingw32'), skip), compile_and_run, ['']) |