diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/gitconfig/pre-commit | 3 |
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) |