summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/Build3
-rw-r--r--Build/source/ChangeLog6
2 files changed, 7 insertions, 2 deletions
diff --git a/Build/source/Build b/Build/source/Build
index a3c6641df73..f3f06fa0e74 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -97,7 +97,7 @@ cd $TL_WORKDIR || exit 1
# configure && make. Keep the tee outside, so that we can detect
# failure at either step.
{
- echo starting `date`
+ echo starting `date` on `uname -a`
echo "$0 $*"
echo
set -vx # show the configure and make commands in the log.
@@ -129,6 +129,7 @@ if test -d "$bindir"; then
echo "$0: $count executables in $bindir."
else
echo "$0: Build failed, no executables under $bindir."
+ echo "$0: Full log in `pwd`/build.log."
exit 1
fi | tee -a build.log
# if no bindir, perhaps they specified --prefix; don't worry.
diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog
index b4e606abd6b..b3122efcf3d 100644
--- a/Build/source/ChangeLog
+++ b/Build/source/ChangeLog
@@ -1,6 +1,10 @@
+2011-02-16 Karl Berry <karl@tug.org>
+
+ * Build: include uname -a in log, mention log if failure.
+
2011-01-19 Karl Berry <karl@tug.org>
- * Build (bindir): don't try to count binaries if no bindir.
+ * Build: don't try to count binaries if no bindir.
2010-10-24 Peter Breitenlohner <peb@mppmu.mpg.de>