diff options
author | Michael Kruse <llvm@meinersbur.de> | 2017-02-05 15:26:56 +0000 |
---|---|---|
committer | Michael Kruse <llvm@meinersbur.de> | 2017-02-05 15:26:56 +0000 |
commit | 49c21222a0d6086ea1d3021bfbc0b119e0c07454 (patch) | |
tree | 4eb716f884600cbae410cac598de3fad3d8b0b7e /polly/.arclint | |
parent | 143902c29fbfd2036e603d5feec78ed39966ca3b (diff) | |
download | llvm-49c21222a0d6086ea1d3021bfbc0b119e0c07454.tar.gz |
[External] Move lib/JSON to lib/External/JSON. NFC.
For consistency with isl and ppcg which are already in lib/External.
llvm-svn: 294126
Diffstat (limited to 'polly/.arclint')
-rw-r--r-- | polly/.arclint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/.arclint b/polly/.arclint index f1df53b230bd..07bca356ae57 100644 --- a/polly/.arclint +++ b/polly/.arclint @@ -2,7 +2,7 @@ "linters": { "format": { "include": "(include/polly/.+\\.h$|lib/.+\\.cpp$)", - "exclude": "(lib/JSON/.*)", + "exclude": "(lib/External/JSON/.*)", "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" |