summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-03-14 16:38:27 +0000
committerKarl Berry <karl@freefriends.org>2009-03-14 16:38:27 +0000
commitdad6c2d40772c12d97bb7c6784f341f5333fd0b4 (patch)
tree8e336f4e2e1053b38e992068d6562a3be838440a /Build/source/Build
parent0d81f5fc99cfae04e20c039c682a602b444b6a84 (diff)
include timestamps in Build output
git-svn-id: svn://tug.org/texlive/trunk@12387 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build3
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/Build b/Build/source/Build
index 563badc8a6f..0f7e0152212 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -83,6 +83,7 @@ cd $TL_WORKDIR || exit 1
# configure && make. Keep the tee outside, so that we can detect
# failure at either step.
{
+ echo starting `date`
set -vx # show the configure and make commands in the log.
eval $TL_BUILD_ENV time $TL_CONFIGURE \
@@ -115,4 +116,6 @@ else
exit 1
fi | tee -a build.log
+echo done `date` | tee -a build.log
+
exit `cat exitstatus.txt`