summaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
Diffstat (limited to '.arclint')
-rw-r--r--.arclint6
1 files changed, 3 insertions, 3 deletions
diff --git a/.arclint b/.arclint
index 7eaced6b35..95355e2898 100644
--- a/.arclint
+++ b/.arclint
@@ -71,17 +71,17 @@
},
"check-binaries": {
"type": "external-json",
- "external-json.script": "python .arc-linters/check-binaries.py"
+ "external-json.script": "python3 .arc-linters/check-binaries.py"
},
"check-makefiles": {
"type": "external-json",
"include": ["(Makefile$)"],
- "external-json.script": "python .arc-linters/check-makefiles.py"
+ "external-json.script": "python3 .arc-linters/check-makefiles.py"
},
"bad-assert-clang-cpp": {
"type": "external-json",
"include": ["(\\.(l?hs|x|y\\.pp)(\\.in)?$)", "(\\.(c|h)$)"],
- "external-json.script": "python .arc-linters/check-cpp.py"
+ "external-json.script": "python3 .arc-linters/check-cpp.py"
}
},