diff options
author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-09-22 17:09:38 -0700 |
---|---|---|
committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-09-22 17:09:38 -0700 |
commit | 833a74582d1296bbe84de12bb1f1e6555776fe77 (patch) | |
tree | 3a8463b9c0648368f86ae1fb3e4f1de1ee2cbe96 /scripts | |
parent | 72fd4466ce8b58746a2fc0296d0e70d4bed86e65 (diff) | |
download | riscv-gnu-toolchain-833a74582d1296bbe84de12bb1f1e6555776fe77.zip riscv-gnu-toolchain-833a74582d1296bbe84de12bb1f1e6555776fe77.tar.gz riscv-gnu-toolchain-833a74582d1296bbe84de12bb1f1e6555776fe77.tar.bz2 |
Fail mail_tail when make fails
Diffstat (limited to 'scripts')
-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 |