diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-07-04 11:15:01 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-07-04 11:15:01 +0200 |
| commit | d17b2f3004afce7af19de65feb72885cf8fabd36 (patch) | |
| tree | c1007c2edeb6656dafd93a658a444570113b982b /taler-build | |
| parent | 4d9abc1b70d48a621efa3c9f23812a455c32d99c (diff) | |
| download | deployment-d17b2f3004afce7af19de65feb72885cf8fabd36.tar.gz deployment-d17b2f3004afce7af19de65feb72885cf8fabd36.tar.bz2 deployment-d17b2f3004afce7af19de65feb72885cf8fabd36.zip | |
#4366
Diffstat (limited to 'taler-build')
| -rwxr-xr-x | taler-build/switch_active.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/taler-build/switch_active.sh b/taler-build/switch_active.sh index 9707acb..262f14d 100755 --- a/taler-build/switch_active.sh +++ b/taler-build/switch_active.sh @@ -8,8 +8,11 @@ set -eu -if ! taler-deployment-build; then +if ! taler-deployment-build 2>&1 | tee build.log; then echo "Failed to rebuild, not switching" + if test "$1" = "--notify"; then + mail -s "[Taler build] $(date)" --to build-failure@taler.net build.log + fi exit 1 else echo "Successfully built, switching" |