script -q -c "$0 $*" -a "${PORT_LOGDIR}/${LOG_COUNTER}-${PF}.log"
{ $0 $* || rm -f "${T}/successful" ; } 2>&1 \
--
| tee -i -a "${PORT_LOGDIR}/${LOG_COUNTER}-${PF}.log"
if has colorgcc ${FEATURES} &>/dev/null; then
if [ -d /usr/lib/colorgcc/bin ]; then
export PATH="/usr/lib/colorgcc/bin:${PATH}"
fi
