diff options
| author | Glen Barber <gjb@FreeBSD.org> | 2017-09-19 15:24:47 +0000 |
|---|---|---|
| committer | Glen Barber <gjb@FreeBSD.org> | 2017-09-19 15:24:47 +0000 |
| commit | d5112e7690eea41c32ce1cb89a3e1ef0222e699e (patch) | |
| tree | 14632a2acccf44ae22dcc246e22a87792c3d37c4 /share/tools/webupdate | |
| parent | a91afefea06b41f26564ea142d5daa9d9ca52972 (diff) | |
Enable parallel builds in the webupdate script.
Thank you to wosch@ for fixing the parallel build issues in the
doc tree, and for implementing this.
Sponsored by: The FreeBSD Foundation
Notes
svn path=/head/; revision=50883
Diffstat (limited to 'share/tools/webupdate')
| -rwxr-xr-x | share/tools/webupdate | 10 |
1 files changed, 8 insertions, 2 deletions
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; |