summaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
Diffstat (limited to '.arclint')
-rw-r--r--.arclint16
1 files changed, 16 insertions, 0 deletions
diff --git a/.arclint b/.arclint
index 70767e9fb4..7eaced6b35 100644
--- a/.arclint
+++ b/.arclint
@@ -53,6 +53,22 @@
"2": "disabled"
}
},
+ "cabal": {
+ "type": "text",
+ "include": ["(\\.cabal(\\.in)?$)"],
+ "severity": {
+ "5": "disabled",
+ "2": "warning"
+ }
+ },
+ "other-text": {
+ "type": "text",
+ "include": ["(.travis.yml?)", "(.md$)", "(.txt$)"],
+ "severity": {
+ "5": "disabled",
+ "2": "warning"
+ }
+ },
"check-binaries": {
"type": "external-json",
"external-json.script": "python .arc-linters/check-binaries.py"