diff options
Diffstat (limited to 'etc/format-check.sh')
| -rwxr-xr-x | etc/format-check.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/format-check.sh b/etc/format-check.sh index 02752c21..0438d8de 100755 --- a/etc/format-check.sh +++ b/etc/format-check.sh @@ -43,10 +43,11 @@ if [ "${maj}" -lt 3 ]; then echo "clang-format is too old. Skipping checks." exit 0 fi -if [ "${maj}" -eq 3 -a "${min}" -lt 5 ]; then +if [ "${maj}" -eq 3 -a "${min}" -lt 6 ]; then echo "clang-format is too old. Skipping checks." exit 0 fi +echo "clang-format looks like ${maj} . ${min}" mytmpdir=`mktemp -d` |