diff options
Diffstat (limited to 'polly/.arclint')
| -rw-r--r-- | polly/.arclint | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/polly/.arclint b/polly/.arclint index 84546f5fda5..f1df53b230b 100644 --- a/polly/.arclint +++ b/polly/.arclint @@ -3,7 +3,9 @@ "format": { "include": "(include/polly/.+\\.h$|lib/.+\\.cpp$)", "exclude": "(lib/JSON/.*)", - "type": "script-and-regex" + "type": "script-and-regex", + "script-and-regex.script": "sh -c './utils/check_format.sh \"$0\" 2> /dev/null || true'", + "script-and-regex.regex": "/^(OK:(?P<ignore>.+)|Error:) (?P<message>.+)$/m" }, "chmod": { "type": "chmod" |
