diff options
author | jackpoz <giacomopoz@gmail.com> | 2020-04-04 21:12:41 +0200 |
---|---|---|
committer | Shauren <shauren.trinity@gmail.com> | 2021-12-31 21:56:38 +0100 |
commit | 8878ba2dcae671f405bdf06cc37cb6af593a8626 (patch) | |
tree | 5851a1137662414457df2b5a1f6beb9fc54047c5 /contrib/check_codestyle.sh | |
parent | 8d2509eee5ec8da326e1357ebf82dda29c926a44 (diff) |
CI/Circle CI: Enforce codestyle checks
(cherry picked from commit 32c9f1c7a228db33110ab0ab5975ba37cba85106)
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" |