diff options
| author | Karl Berry <karl@freefriends.org> | 2011-02-16 17:33:40 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2011-02-16 17:33:40 +0000 |
| commit | de9e6c7fa4c3ae6a00bf9e2d99665ff6c66e612e (patch) | |
| tree | ba45db1df07c13d783ea0e95bbec515f16829221 | |
| parent | f1c5af87642ccf5926a7574a1c4d63aa2ec02eac (diff) | |
uname -a in log, mention log if failure
git-svn-id: svn://tug.org/texlive/trunk@21415 c570f23f-e606-0410-a88d-b1316a301751
| -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> |