diff --git a/share/tools/webupdate b/share/tools/webupdate index bc64460186..16efd1400d 100755 --- a/share/tools/webupdate +++ b/share/tools/webupdate @@ -156,10 +156,16 @@ fi # # Build the web site. # +cd $BUILDDIR/head || exit 1; + +time make ${BUILDARGS} p-all >> $LOGFILE 2>&1 || + (tail -50 $LOGFILE | + mail -s "FreeBSD web build failed on `hostname`" $WEBMAILTO; + exit 3) || exit 3; + cd $BUILDDIR/head/en_US.ISO8859-1/htdocs || exit 1; -time make ${BUILDARGS} all >> $LOGFILE 2>&1 && - time make ${INSTARGS} install >> $LOGFILE 2>&1 || +time make ${INSTARGS} install >> $LOGFILE 2>&1 || (tail -50 $LOGFILE | mail -s "FreeBSD web build failed on `hostname`" $WEBMAILTO; exit 3) || exit 3;