summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rwxr-xr-xutil/gitconfig/pre-commit3
1 files changed, 3 insertions, 0 deletions
diff --git a/util/gitconfig/pre-commit b/util/gitconfig/pre-commit
index ac0db4a238..0f1306288e 100755
--- a/util/gitconfig/pre-commit
+++ b/util/gitconfig/pre-commit
@@ -15,6 +15,9 @@
## GNU General Public License for more details.
##
+set -e # -o errexit
+set -u # -o nounset
+
%MAKE% lint-stable
PATCHDIFF=$(git diff --cached)