diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index da14cb2e3f063f64aeaee52c20168330a8b8135e..0cb48bbc227baa3d48c424d615087a24c765c0b1 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -141,7 +141,8 @@ test('T7773', when(opsys('mingw32'), skip), compile_and_run, ['']) test('CatPairs', normal, compile, ['']) test('CatEntail', normal, compile, ['']) -test('T7653', normal, compile_and_run, ['']) +# When running with WAY=ghci, T7653 uses a lot of memory. +test('T7653', high_memory_usage, compile_and_run, ['']) test('T7787', normal, compile_and_run, ['']) test('topHandler01', when(opsys('mingw32'), skip), compile_and_run, [''])