summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorÖmer Sinan Ağacan <omeragacan@gmail.com>2019-06-27 11:46:20 +0300
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-07-09 22:58:48 -0400
commitd7423f1096b5415928ba1d1d621e066ef4e5b641 (patch)
treee2af0c2c313cc6601d671afd420d90316914dfea /.gitlab
parent7f8bf98ea5b726d3f874faf23d4934765ed1116b (diff)
downloadhaskell-d7423f1096b5415928ba1d1d621e066ef4e5b641.tar.gz
Testsuite tweaks and refactoring
- Rename requires_th to req_th for consistency with other req functions (e.g. req_interp, req_profiling etc.) - req_th (previously requires_th) now checks for interpreter (via req_interp). With this running TH tests are skipped when running the test suite with stage=1. - Test tweaks: - T9360a, T9360b: Use req_interp - recomp009, T13938, RAE_T32a: Use req_th - Fix check-makefiles linter: it now looks for Makefiles instead of .T files (which are actually Python files)
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/linters/check-makefiles.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/linters/check-makefiles.py b/.gitlab/linters/check-makefiles.py
index b647f6c1c5..19b7b56368 100755
--- a/.gitlab/linters/check-makefiles.py
+++ b/.gitlab/linters/check-makefiles.py
@@ -13,7 +13,7 @@ from linter import run_linters, RegexpLinter
linters = [
RegexpLinter(r'--interactive',
message = "Warning: Use `$(TEST_HC_OPTS_INTERACTIVE)` instead of `--interactive -ignore-dot-ghci -v0`."
- ).add_path_filter(lambda path: path.suffix == '.T')
+ ).add_path_filter(lambda path: path.name == 'Makefile')
]
if __name__ == '__main__':