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 #