diff options
author | Karl Berry <karl@freefriends.org> | 2009-03-12 23:48:59 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-03-12 23:48:59 +0000 |
commit | 30349c5a4c71130214ebd146f4dfc3b51c543d8d (patch) | |
tree | 4c4d4f117b3c2ac62aa041f5656976a39f2b516b | |
parent | 00e711b27174288f7215946a760bfd15badd9950 (diff) |
-vx not +vx, of course
git-svn-id: svn://tug.org/texlive/trunk@12373 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Build/source/Build | 6 | ||||
-rw-r--r-- | Build/source/ChangeLog | 5 |
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. |