--- texlive-2007/Build.orig 2007-12-29 20:08:44.000000000 +0000 +++ texlive-2007/Build 2008-01-14 08:38:24.000000000 +0000 @@ -50,11 +50,25 @@ # Force building xdvi-xaw; motif is not always free and/or available. # --enable-gif is for sam2p; the gif patent has expired worldwide. -(set -x; \ - time $TL_CONFIGURE \ +case $1 in + configure) + shift + (set -x; \ + $TL_CONFIGURE \ --prefix=$TL_INSTALL_DEST \ --datadir=$TL_INSTALL_DEST \ $TL_XDVI_TOOLKIT \ $TL_CONFIGURE_ARGS \ - "$@" 2>&1|tee configure.log\ - && time $TL_MAKE $TL_TARGET 2>&1|tee make.log) + "$@" ) + ;; + build) + # not make world, this would strip + shift + make all + make install + ;; + *) + echo "This script must be invoked with argument configure or build" + ;; +esac +