diff options
Diffstat (limited to 'scripts/pre-push-hook.sh')
| -rw-r--r-- | scripts/pre-push-hook.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/pre-push-hook.sh b/scripts/pre-push-hook.sh new file mode 100644 index 0000000..a943ed4 --- /dev/null +++ b/scripts/pre-push-hook.sh @@ -0,0 +1,14 @@ +#!/bin/sh + +echo "Running pre-push hooks..." +make check + +RESULT=$? + +if [ $RESULT -ne 0 ]; then + echo "Pre-push check failed. Please fix issues before pushing." + exit 1 +fi + +echo "Pre-push check passed." +exit 0 |
