summaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
Diffstat (limited to '.arclint')
-rw-r--r--.arclint5
1 files changed, 5 insertions, 0 deletions
diff --git a/.arclint b/.arclint
index 1b135075d0..ef43856bda 100644
--- a/.arclint
+++ b/.arclint
@@ -56,6 +56,11 @@
"check-binaries": {
"type": "external-json",
"external-json.script": "python .arc-linters/check-binaries.py"
+ },
+ "bad-assert-clang-cpp": {
+ "type": "external-json",
+ "include": ["(\\.(l?hs|x|y\\.pp)(\\.in)?$)"],
+ "external-json.script": "python .arc-linters/check-cpp.py"
}
},