diff --git a/maintainer/CI/fix_style.sh b/maintainer/CI/fix_style.sh
index d90fe4c6ebf..e6199bfb62f 100755
--- a/maintainer/CI/fix_style.sh
+++ b/maintainer/CI/fix_style.sh
@@ -25,7 +25,7 @@ if ! git diff-index --quiet HEAD -- && [ "${1}" != "-f" ]; then
     exit 1
 fi
 
-maintainer/lint/pre_commit.sh run --all-files || exit 1
+maintainer/lint/pre_commit.sh run --all-files
 
 if [ "${CI}" != "" ]; then
     git --no-pager diff > style.patch