diff options
author | Michael Lehenbauer <mikelehen@gmail.com> | 2018-01-10 10:11:46 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-10 10:11:46 -0800 |
commit | 4dd07c6ea00d01fe1645b635fd4dfa2940b06de7 (patch) | |
tree | 6c22700bfa193392069b884ad0433adfe9d82154 /scripts | |
parent | c18af34fca72b5721cab4e3b26da7469df8fcc6b (diff) |
Add version check to style.sh to make sure folks are running the same version. (#638)
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/style.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/style.sh b/scripts/style.sh index 4422350..3e12d5a 100755 --- a/scripts/style.sh +++ b/scripts/style.sh @@ -23,6 +23,12 @@ set -euo pipefail +if [[ $(clang-format --version) != **"version 6"** ]]; then + echo "Please upgrade to clang-format version 6." + echo "If it's installed via homebrew you can run: brew upgrade clang-format" + exit 1 +fi + ( if [[ $# -gt 0 ]]; then if git rev-parse "$1" -- >& /dev/null; then |