diff options
Diffstat (limited to 'testsuite/tests/ghc-api/annotations/all.T')
| -rw-r--r-- | testsuite/tests/ghc-api/annotations/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghc-api/annotations/all.T b/testsuite/tests/ghc-api/annotations/all.T index 831b6a7792..fbe8c3e35f 100644 --- a/testsuite/tests/ghc-api/annotations/all.T +++ b/testsuite/tests/ghc-api/annotations/all.T @@ -26,3 +26,4 @@ test('T11321', ignore_stderr, run_command, ['$MAKE -s --no-print-directory test('T11332', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T11332']) test('T11430', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T11430']) test('load-main', ignore_stderr, run_command, ['$MAKE -s --no-print-directory load-main']) +test('T12417', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T12417']) |