summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-02-16 17:33:40 +0000
committerKarl Berry <karl@freefriends.org>2011-02-16 17:33:40 +0000
commitde9e6c7fa4c3ae6a00bf9e2d99665ff6c66e612e (patch)
treeba45db1df07c13d783ea0e95bbec515f16829221 /Build/source/Build
parentf1c5af87642ccf5926a7574a1c4d63aa2ec02eac (diff)
uname -a in log, mention log if failure
git-svn-id: svn://tug.org/texlive/trunk@21415 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build3
1 files changed, 2 insertions, 1 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.