--- file_not_specified_in_diff +++ file_not_specified_in_diff @@ -27,1 +27,2 @@ - 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" @@ -1267,7 +1268,0 @@ - - if has colorgcc ${FEATURES} &>/dev/null; then - if [ -d /usr/lib/colorgcc/bin ]; then - export PATH="/usr/lib/colorgcc/bin:${PATH}" - fi - fi -