Fail mail_tail when make fails

2017-09-22 17:09:38 -07:00 · 2017-09-22 17:09:38 -07:00 · 833a74582d
parent 72fd4466ce
commit 833a74582d
1 changed files with 3 additions and 0 deletions
--- a/scripts/wrapper/make_tail
+++ b/scripts/wrapper/make_tail
@ -1,3 +1,6 @@
 #!/bin/bash

+set -o pipefail
+set -e
+
 make "$@" | tail