diff options
| author | jackpoz <giacomopoz@gmail.com> | 2020-04-04 21:12:41 +0200 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2020-04-05 19:10:55 +0200 |
| commit | 32c9f1c7a228db33110ab0ab5975ba37cba85106 (patch) | |
| tree | d7c4f1e021c83080f730bc3af1f4d0e89ebe3e0f | |
| parent | 404dbcdcf6bd09202cf58a4064a127e7f303b9b2 (diff) | |
CI/Circle CI: Enforce codestyle checks
| -rw-r--r-- | .circleci/config.yml | 5 | ||||
| -rw-r--r-- | contrib/check_codestyle.sh | 17 |
2 files changed, 22 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index c8c4e0b792c..cd0214245d6 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -14,6 +14,11 @@ jobs: command: | /scripts/checkout.sh - run: + name: Codestyle checks + command: | + chmod +x contrib/check_codestyle.sh + ./contrib/check_codestyle.sh + - run: name: Setup command: | mkdir bin diff --git a/contrib/check_codestyle.sh b/contrib/check_codestyle.sh new file mode 100644 index 00000000000..3f4ab9d2657 --- /dev/null +++ b/contrib/check_codestyle.sh @@ -0,0 +1,17 @@ +#!/bin/bash +set -e + +echo "Codestyle check script:" +echo + +regexChecks=() + +for check in ${regexChecks[@]}; do + echo " Checking RegEx: '${check}'" + + if grep -E -r ${check} src; then + exit 1 + fi +done + +echo "Everything looks good" |