Mail if there is an installation failure.

diff --git a/Misc/build.sh b/Misc/build.sh
index 94950ffd871398c8da1ca1ade709637e3c819d7e..e36a88c9f95b161d768c8490bf1b929b978fb577 100755 (executable)
--- a/Misc/build.sh
+++ b/Misc/build.sh
@@ -166,6 +166,7 @@ if [ $err = 0 -a "$BUILD_DISABLED" != "yes" ]; then
             start=`current_time`
             make install >& build/$F
             update_status "Installing" "$F" $start
+            mail_on_failure "install" build/$F
 
             if [ ! -x $PYTHON ]; then
                 ln -s ${PYTHON}2.* $PYTHON