. ./local.sh
fi
-MAKEFLAGS=${PARALLEL}
+MAKEFLAGS=${PARALLEL} ${MAKESILENT}
TARFLAGS=v
+MAKESILENT=
if [ ${QUIET} != 0 ]; then
TARFLAGS=
- MAKEFLAGS="${MAKEFLAGS} -s"
+ MAKESILENT="-s"
fi
export PATH="${PREFIX}/bin:${PATH}"
if which fetch > /dev/null; then
FETCHCMD="fetch -p"
elif which wget > /dev/null; then
- FETCHCMD=wget
+ FETCHCMD="wget -c"
elif which curl > /dev/null; then
- FETCHCMD="curl -O -L"
+ FETCHCMD="curl -C - -O -L"
else
FETCHCMD=ftp # the only HTTP client on some BSD
fi
# Install a build
doinstall() {
log $1
- ${SUDO} make ${MAKEFLAGS} $2 $3 $4 $5 $6 $7 $8
+ ${SUDO} make ${MAKESILENT} $2 $3 $4 $5 $6 $7 $8
}
if [ ! -d $SUMMON_DIR ]; then