diff options
Diffstat (limited to 'util/lint/check-style')
| -rwxr-xr-x | util/lint/check-style | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/util/lint/check-style b/util/lint/check-style index 2237ed6295..f72d7b42c5 100755 --- a/util/lint/check-style +++ b/util/lint/check-style @@ -137,7 +137,10 @@ cat "$patch" printf "\nYou can apply these changes with:\n git apply $patch\n" printf "(may need to be called from the root directory of your repository)\n" -printf "Aborting commit. Apply changes and commit again or skip checking with" -printf " --no-verify (not recommended).\n" -exit 1 +# FIXME: clang-format is currently unusable, so don't abort the commit. +# printf "Aborting commit. Apply changes and commit again or skip checking with" +# printf " --no-verify (not recommended).\n" +# exit 1 + +exit 0 |