diff options
| author | Karl Berry <karl@freefriends.org> | 2006-12-05 01:21:26 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-12-05 01:21:26 +0000 |
| commit | 4faf2b2eb01230ef6369a9b92fc5844b02a3523a (patch) | |
| tree | f7c85f843f98a18021b48be179bbfbc6cf061ace /Build | |
| parent | 3043b8270215e911c468496bf6b37f7655550458 (diff) | |
no tlbuild.log, since then the exit status is
always successful.
git-svn-id: svn://tug.org/texlive/trunk@2590 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -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) |