Fix prepush script

diff --git a/roles/git/files/config_files/git/templates_fretlink/hooks/pre-push b/roles/git/files/config_files/git/templates_fretlink/hooks/pre-push
index 19088c94fa71257dc369f3a01c909f063a3c6c04..1197641aeddba57f8ceaa66b140d27b8c2397fc7 100755 (executable)
--- a/roles/git/files/config_files/git/templates_fretlink/hooks/pre-push
+++ b/roles/git/files/config_files/git/templates_fretlink/hooks/pre-push
@@ -1,8 +1,11 @@
 #!/usr/bin/env bash
 
-set -e
-
 echo "[+] Running the linter"
 make lint
+output=$?
 
-exit 0
+if [ "$output" = 1 ]; then
+  exit 1
+else
+  exit 0
+fi