diff options
| author | Wolfram Schneider <wosch@FreeBSD.org> | 2017-10-01 18:08:22 +0000 |
|---|---|---|
| committer | Wolfram Schneider <wosch@FreeBSD.org> | 2017-10-01 18:08:22 +0000 |
| commit | 02bb3f74fe57f9096b7b5b1e486050d4a8edbfd5 (patch) | |
| tree | cdab80fea8a0d4aa161e25944aa7a881be088107 /share/tools | |
| parent | c997987fd5650716dd62a305d16a7db376e743f4 (diff) | |
| download | doc-02bb3f74fe57f9096b7b5b1e486050d4a8edbfd5.tar.gz doc-02bb3f74fe57f9096b7b5b1e486050d4a8edbfd5.zip | |
call `make all' first, than `make install'
PR: 222721
Notes
Notes:
svn path=/head/; revision=51017
Diffstat (limited to 'share/tools')
| -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; |