diff options
| -rw-r--r-- | .clang-format | 2 | ||||
| -rwxr-xr-x | Utilities/Scripts/clang-format.bash | 7 |
2 files changed, 7 insertions, 2 deletions
diff --git a/.clang-format b/.clang-format index 88bfbd3..c0b5cc3 100644 --- a/.clang-format +++ b/.clang-format @@ -1,5 +1,5 @@ --- -# This configuration requires clang-format 3.8 or higher. +# This configuration requires clang-format version 3.8 exactly. BasedOnStyle: Mozilla AlignOperands: false AlwaysBreakAfterReturnType: None diff --git a/Utilities/Scripts/clang-format.bash b/Utilities/Scripts/clang-format.bash index 3b331a1..4c6225d 100755 --- a/Utilities/Scripts/clang-format.bash +++ b/Utilities/Scripts/clang-format.bash @@ -78,8 +78,8 @@ test "$#" = 0 || die "$usage" # Find a default tool. tools=' - clang-format clang-format-3.8 + clang-format ' if test "x$clang_format" = "x"; then for tool in $tools; do @@ -96,6 +96,11 @@ if ! type -p "$clang_format" >/dev/null; then exit 1 fi +if ! "$clang_format" --version | grep 'clang-format version 3\.8' >/dev/null 2>/dev/null; then + echo "clang-format version 3.8 is required (exactly)" + exit 1 +fi + # Select listing mode. case "$mode" in '') echo "$usage"; exit 0 ;; |