summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/source/Build3
-rw-r--r--Build/source/ChangeLog4
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.