diff options
| author | Karl Berry <karl@freefriends.org> | 2006-12-26 16:56:29 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-12-26 16:56:29 +0000 |
| commit | 167bedcfcc63071e1569d96c3465037dd9eda32e (patch) | |
| tree | 93189491d03fd01e13ca864229ba5e158d4d8586 /Build/tools | |
| parent | 962160b8ffe7f45c97040211cdadec5ad59d8296 (diff) | |
(MAKEINST): exclude pattern anchored on /, not ^.
git-svn-id: svn://tug.org/texlive/trunk@2931 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/tools')
| -rwxr-xr-x | Build/tools/MakeImages.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/tools/MakeImages.sh b/Build/tools/MakeImages.sh index 3e30e199938..6d562cdc8d4 100755 --- a/Build/tools/MakeImages.sh +++ b/Build/tools/MakeImages.sh @@ -45,7 +45,6 @@ zippath=/usr/local/bin quiet= # for passing to mkisofs makelive=true makeinst=true -makedemo=false while test $# -gt 0; do case $1 in @@ -180,9 +179,10 @@ cd $master || exit 1 for i in texmf/lists/*; do # exclude binaries for all architectures except i386-linux, MacOSX, and # Windows. No room any more. - (echo "$i" | grep '^bin-.*\.' \ + (echo "$i" | grep '/bin-.*\.' \ | egrep -v '\.(i386-linux|.*-darwin|win32)') \ >/dev/null \ + && ($debug && echo " excluding $i"; true) \ && continue I=`basename $i` |