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 /contrib/check_codestyle.sh | |
| parent | 404dbcdcf6bd09202cf58a4064a127e7f303b9b2 (diff) | |
CI/Circle CI: Enforce codestyle checks
Diffstat (limited to 'contrib/check_codestyle.sh')
| -rw-r--r-- | contrib/check_codestyle.sh | 17 |
1 files changed, 17 insertions, 0 deletions
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" |