--- build/source/Build | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) Index: texlive-bin-2007/build/source/Build =================================================================== --- texlive-bin-2007.orig/build/source/Build 2006-12-14 03:12:38.000000000 +0100 +++ texlive-bin-2007/build/source/Build 2007-02-14 15:56:00.000000000 +0100 @@ -47,11 +47,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 \ - "$@" \ - && time $TL_MAKE $TL_TARGET) + "$@" ) + ;; + build) + # not make world, this would strip + shift + make all + make install + ;; + *) + echo "This script must be invoked with argument configure or build" + ;; +esac +