diff options
| author | Karl Berry <karl@freefriends.org> | 2009-03-14 16:38:27 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-03-14 16:38:27 +0000 |
| commit | dad6c2d40772c12d97bb7c6784f341f5333fd0b4 (patch) | |
| tree | 8e336f4e2e1053b38e992068d6562a3be838440a /Build | |
| parent | 0d81f5fc99cfae04e20c039c682a602b444b6a84 (diff) | |
include timestamps in Build output
git-svn-id: svn://tug.org/texlive/trunk@12387 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/Build | 3 | ||||
| -rw-r--r-- | Build/source/ChangeLog | 4 |
2 files changed, 7 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` diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog index 418d87fe77a..aa47f0eaf72 100644 --- a/Build/source/ChangeLog +++ b/Build/source/ChangeLog @@ -1,3 +1,7 @@ +2009-03-14 Karl Berry <karl@tug.org> + + * Build: include timestamps in output. + 2009-03-13 Karl Berry <karl@tug.org> * Build (bindir): call them executables, not binaries. |