diff options
Diffstat (limited to 'roles')
-rwxr-xr-x | roles/git/files/config_files/git/templates_fretlink/hooks/pre-push | 9 |
1 files changed, 6 insertions, 3 deletions
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 19088c9..1197641 100755 --- 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 @@ | |||
1 | #!/usr/bin/env bash | 1 | #!/usr/bin/env bash |
2 | 2 | ||
3 | set -e | ||
4 | |||
5 | echo "[+] Running the linter" | 3 | echo "[+] Running the linter" |
6 | make lint | 4 | make lint |
5 | output=$? | ||
7 | 6 | ||
8 | exit 0 | 7 | if [ "$output" = 1 ]; then |
8 | exit 1 | ||
9 | else | ||
10 | exit 0 | ||
11 | fi | ||