scripts/pre-push-hook.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
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