diff options
Diffstat (limited to 'testsuite/tests/ghci/prog003/prog003.T')
-rw-r--r-- | testsuite/tests/ghci/prog003/prog003.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/prog003/prog003.T b/testsuite/tests/ghci/prog003/prog003.T index d649f34e80..b824445a96 100644 --- a/testsuite/tests/ghci/prog003/prog003.T +++ b/testsuite/tests/ghci/prog003/prog003.T @@ -1,7 +1,7 @@ # This test is very flaky on Windows. # It is a genuine bug that should be looked at, but # for the sake of stability of the build bot we disable it for now. -# See Trac 11317. +# See #11317. test('prog003', [extra_files(['../shell.hs', 'A.hs', 'B.hs', 'C.hs', 'D1.hs', 'D2.hs']), when(opsys('mingw32'), skip), |