diff options
Diffstat (limited to 'polly/utils')
| -rwxr-xr-x | polly/utils/check_format.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/polly/utils/check_format.sh b/polly/utils/check_format.sh index b44432553e2f..120a6a24af62 100755 --- a/polly/utils/check_format.sh +++ b/polly/utils/check_format.sh @@ -6,8 +6,7 @@ if [ "${CLANG_FORMAT}x" = "x" ]; then CLANG_FORMAT=`which clang-format` if [ "${CLANG_FORMAT}x" = "x" ]; then echo "Error: cannot find clang-format in your path" - # Disable error reporting to silence the buildbots - exit 0 + exit 1 fi fi @@ -24,7 +23,7 @@ for ARG in "$@" if [[ $OK -eq "1" ]]; then echo "Error: clang-format reported formatting differences" - exit 0 + exit 1 else echo "OK: clang-format reported no formatting differences" exit 0 |