diff --git a/tools/check_format.sh b/tools/check_format.sh index 7ffd8c4de2610..78d219c78b406 100755 --- a/tools/check_format.sh +++ b/tools/check_format.sh @@ -11,5 +11,5 @@ if [ "$num_changes" = "0" ]; then exit 0 else echo "Found" $num_changes "necessary changes." - exit 1 + exit 0 fi