diff options
Diffstat (limited to 'Build/tools/MakeImages.sh')
| -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` |