diff options
Diffstat (limited to 'testsuite/driver/extra_files.py')
| -rw-r--r-- | testsuite/driver/extra_files.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/driver/extra_files.py b/testsuite/driver/extra_files.py index acf4802cba..f1dbcb50aa 100644 --- a/testsuite/driver/extra_files.py +++ b/testsuite/driver/extra_files.py @@ -84,6 +84,7 @@ extra_src_files = { 'T11827': ['A.hs', 'A.hs-boot', 'B.hs'], 'T12062': ['A.hs', 'A.hs-boot', 'C.hs'], 'T12035j': ['T12035.hs', 'T12035a.hs', 'T12035.hs-boot'], + 'T12485': ['a.pkg', 'b.pkg', 'Main.hs'], 'T1372': ['p1/', 'p2/'], 'T1407': ['A.c'], 'T1959': ['B.hs', 'C.hs', 'D.hs', 'E1.hs', 'E2.hs'], |