summaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
Diffstat (limited to '.arclint')
-rw-r--r--.arclint9
1 files changed, 0 insertions, 9 deletions
diff --git a/.arclint b/.arclint
index ef43856bda..8f83776f80 100644
--- a/.arclint
+++ b/.arclint
@@ -52,15 +52,6 @@
"severity": {
"2": "disabled"
}
- },
- "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"
}
},