summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/source/Build6
-rw-r--r--Build/source/ChangeLog5
2 files changed, 8 insertions, 3 deletions
diff --git a/Build/source/Build b/Build/source/Build
index 7c05b044c62..563badc8a6f 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -83,7 +83,7 @@ cd $TL_WORKDIR || exit 1
# configure && make. Keep the tee outside, so that we can detect
# failure at either step.
{
- set +vx # show the configure and make commands in the log.
+ set -vx # show the configure and make commands in the log.
eval $TL_BUILD_ENV time $TL_CONFIGURE \
--prefix=$TL_INSTALL_DEST \
@@ -109,9 +109,9 @@ bindir=$TL_INSTALL_DEST/bin
count=`find $bindir \! -type d -print | wc -l`
if test "$count" -gt 0; then
echo
- echo "$0: $count binaries in $bindir."
+ echo "$0: $count executables in $bindir."
else
- echo "$0: Build failed, no binaries under $bindir."
+ echo "$0: Build failed, no executables under $bindir."
exit 1
fi | tee -a build.log
diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog
index d7f597384b3..418d87fe77a 100644
--- a/Build/source/ChangeLog
+++ b/Build/source/ChangeLog
@@ -1,3 +1,8 @@
+2009-03-13 Karl Berry <karl@tug.org>
+
+ * Build (bindir): call them executables, not binaries.
+ Use set -vx, not +vx.
+
2009-03-08 Karl Berry <karl@tug.org>
* Build (TL_CONF_SHARED): new variable, --disable-shared by default.