summaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
Diffstat (limited to '.arclint')
-rw-r--r--.arclint16
1 files changed, 12 insertions, 4 deletions
diff --git a/.arclint b/.arclint
index f7980155fb..1310973771 100644
--- a/.arclint
+++ b/.arclint
@@ -16,25 +16,33 @@
"type": "text",
"include": ["(\\.(l?hs(-boot)?|x|y\\.pp)(\\.in)?$)"],
"severity": {
- "5": "disabled"
+ "5": "disabled",
+ "2": "warning"
}
},
"c": {
"type": "text",
- "include": ["(\\.(c|h)(\\.in)?$)"]
+ "include": ["(\\.(c|h)(\\.in)?$)"],
+ "severity": {
+ "2": "warning"
+ }
},
"text-xml": {
"type": "text",
"include": "(\\.xml$)",
"severity": {
"5": "disabled",
- "3": "disabled"
+ "3": "disabled",
+ "2": "warning"
}
},
"shell": {
"type": "text",
"include": [ "(\\.sh$)" ],
- "text.max-line-length": 200
+ "text.max-line-length": 200,
+ "severity": {
+ "2": "warning"
+ }
},
"makefiles": {
"type": "text",