diff options
Diffstat (limited to 'testsuite/tests/gadt/all.T')
| -rw-r--r-- | testsuite/tests/gadt/all.T | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index 2bae2696b4..d29fa8e4b0 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -19,7 +19,7 @@ test('gadt14', normal, compile, ['']) test('gadt15', normal, compile, ['']) test('gadt16', normal, compile, ['']) -test('gadt17', [], run_command, ['$MAKE -s --no-print-directory gadt17']) +test('gadt17', [extra_files(['Gadt17_help.hs'])], run_command, ['$MAKE -s --no-print-directory gadt17']) test('gadt18', normal, compile, ['']) test('gadt19', normal, compile, ['']) @@ -27,7 +27,7 @@ test('gadt20', normal, compile, ['']) test('gadt21', normal, compile_fail, ['']) test('gadt22', normal, compile, ['']) -test('gadt23', [], run_command, ['$MAKE -s --no-print-directory gadt23']) +test('gadt23', [extra_files(['Gadt23_AST.hs'])], run_command, ['$MAKE -s --no-print-directory gadt23']) test('gadt24', normal, compile, ['']) |