summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/source/Build4
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)