diff options
author | Karl Berry <karl@freefriends.org> | 2008-06-08 23:21:33 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-06-08 23:21:33 +0000 |
commit | 7cc139799fd934d5bacd655cab3b83c84dcd5ff0 (patch) | |
tree | f78e9b6e508080bdc23c83ca9652cfaa71810c87 /Build/source/Build | |
parent | 602d0ca39f8ccb7e2ad7b843327a4c98ac7e3097 (diff) |
try using find instead of ls, to avoid short param
list on hp (Tim tlbuild mail, 6 Jun 2008 10:24:41).
git-svn-id: svn://tug.org/texlive/trunk@8607 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-x | Build/source/Build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index ad973538c1c..428862d3d10 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -98,7 +98,7 @@ export GNUMAKE # report the number of binaries built. bindir=$TL_INSTALL_DEST/bin -count=`ls $bindir/*/* | wc -l` +count=`find $bindir \! -type d -print | wc -l` if test "$count" -gt 0; then echo echo "$0: $count binaries in $bindir." |