diff options
-rwxr-xr-x | Build/source/Build | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/Build b/Build/source/Build index 7e29a7f38d6..875c194fead 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -22,8 +22,6 @@ unset CDPATH test -d Work || mkdir Work cd Work || exit 1 -rm -f tlbuild.log - # allow override of configure location, just in case. : ${TL_CONFIGURE=../configure} @@ -41,4 +39,4 @@ rm -f tlbuild.log --datadir=$TL_INSTALL_DEST \ $TL_XDVI_TOOLKIT \ "$@" \ - && time $TL_MAKE world) 2>&1 | tee tlbuild.log + && time $TL_MAKE world) |