diff options
-rwxr-xr-x | scripts/wrapper/make_tail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/wrapper/make_tail b/scripts/wrapper/make_tail index 78ab9a0..a32db80 100755 --- a/scripts/wrapper/make_tail +++ b/scripts/wrapper/make_tail @@ -1,3 +1,6 @@ #!/bin/bash +set -o pipefail +set -e + make "$@" | tail |