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 77fc7da69b..dcb87fc21f 100755 --- a/share/tools/webupdate +++ b/share/tools/webupdate @@ -150,7 +150,7 @@ fi if [ ! -e "${PINDEX_OVERRIDE}" ]; then [ -e ${PORTSDIR}/INDEX-${INDEXNUM} ] && rm -f ${PORTSDIR}/INDEX-${INDEXNUM} - make -C ${PORTSDIR} fetchindex + make -C ${PORTSDIR} fetchindex >> $LOGFILE 2>&1 || exit 2 fi # |