diff options
| -rwxr-xr-x | Build/source/Build | 3 | ||||
| -rw-r--r-- | Build/source/ChangeLog | 6 |
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> |