diff options
Diffstat (limited to 'testsuite/tests/ghci/prog003/prog003.T')
| -rw-r--r-- | testsuite/tests/ghci/prog003/prog003.T | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/testsuite/tests/ghci/prog003/prog003.T b/testsuite/tests/ghci/prog003/prog003.T index 92aadbac93..ee5939afb7 100644 --- a/testsuite/tests/ghci/prog003/prog003.T +++ b/testsuite/tests/ghci/prog003/prog003.T @@ -3,10 +3,6 @@ # for the sake of stability of the build bot we disable it for now. # See Trac 11317. test('prog003', - [extra_clean(['D.hs', 'D.hi', 'C.hi', 'C.o', 'B.hi', 'B.o', - 'A', 'A.hi', 'A.o', 'a.out']), - when(opsys('mingw32'), skip), + [when(opsys('mingw32'), skip), cmd_prefix('ghciWayFlags=' + config.ghci_way_flags)], - ghci_script, - ['prog003.script']) - + ghci_script, ['prog003.script']) |