fix: exit code 0 for sucessful style check

verified-optimization · Mar 8, 2024 · 351e248 · 351e248
1 parent b8db885
commit 351e248
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/scripts/style/check_style_file.sh b/scripts/style/check_style_file.sh
@@ -1,3 +1,10 @@
 #!/bin/bash
 
-python3 ./.lake/packages/mathlib/scripts/lint-style.py $1 | grep -vE "ERR_COP"
+errors=$(python3 ./.lake/packages/mathlib/scripts/lint-style.py $1 | grep -vE "ERR_COP")
+
+if [ -z "$errors" ]; then
+  exit 0
+else
+  echo "$errors"
+  exit 1
+fi