diff options
| -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 d063ba9ef53..0f6ef6f0ac2 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" |