diff options
Diffstat (limited to 'share/tools/webupdate')
| -rwxr-xr-x | share/tools/webupdate | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/tools/webupdate b/share/tools/webupdate index 16efd1400d..bbad0943ef 100755 --- a/share/tools/webupdate +++ b/share/tools/webupdate @@ -165,7 +165,7 @@ time make ${BUILDARGS} p-all >> $LOGFILE 2>&1 || cd $BUILDDIR/head/en_US.ISO8859-1/htdocs || exit 1; -time make ${INSTARGS} install >> $LOGFILE 2>&1 || +( time make ${INSTARGS} all && time make ${INSTARGS} install ) >> $LOGFILE 2>&1 || (tail -50 $LOGFILE | mail -s "FreeBSD web build failed on `hostname`" $WEBMAILTO; exit 3) || exit 3; |