diff options
-rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 5b4e180d54..7091fe6769 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -90,7 +90,8 @@ test('ghci055', combined_output, ghci_script, ['ghci055.script']) test('ghci056', [pre_cmd('$MAKE -s --no-print-directory ghci056_setup'), - extra_run_opts('ghci056_c.o')], + extra_run_opts('ghci056_c.o'), + fragile(17018)], ghci_script, ['ghci056.script']) test('ghci057', extra_hc_opts("-fno-ghci-leak-check"), ghci_script, ['ghci057.script']) |