diff options
-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. |