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