From 6f5f6900b6a944d4bfcb4bce87144e8019f9977e Mon Sep 17 00:00:00 2001 From: Ta-Ching Chen Date: Fri, 8 Nov 2019 23:47:40 +0800 Subject: [PATCH] Fix githook not aborting push if error occurrs (#1386) --- githooks/pre-push | 2 ++ 1 file changed, 2 insertions(+) diff --git a/githooks/pre-push b/githooks/pre-push index 22f2a369..0972a764 100755 --- a/githooks/pre-push +++ b/githooks/pre-push @@ -1,5 +1,7 @@ #!/bin/bash +set -e + ROOT=`realpath $(dirname $0)/../..` pushd $ROOT make