summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-22 00:53:45 -0500
committerBen Gamari <ben@smart-cactus.org>2018-12-22 00:53:45 -0500
commit6d2f6df3543bc287e59151e823b7a62c245c27b0 (patch)
tree8d600ca9b4805d2a0a5e27f2302b167ec4b66e9d /.gitlab
parent3ba520c5e36c8da61f35d7b4c3482766f034ae33 (diff)
downloadhaskell-6d2f6df3543bc287e59151e823b7a62c245c27b0.tar.gz
linters: Check for WARN macro with space separating it from its paren
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/linters/check-cpp.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/linters/check-cpp.py b/.gitlab/linters/check-cpp.py
index 144ab7dd6e..c89451399e 100755
--- a/.gitlab/linters/check-cpp.py
+++ b/.gitlab/linters/check-cpp.py
@@ -6,6 +6,8 @@
from linter import run_linters, RegexpLinter
linters = [
+ RegexpLinter(r'WARN\s+\(',
+ message='CPP macros should not have a space between the macro name and their argument list'),
RegexpLinter(r'ASSERT\s+\(',
message='CPP macros should not have a space between the macro name and their argument list'),
RegexpLinter(r'ASSERT2\s+\(',