summaryrefslogtreecommitdiff
path: root/Build/tools/MakeImages.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools/MakeImages.sh')
-rwxr-xr-xBuild/tools/MakeImages.sh4
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`