diff options
-rwxr-xr-x | Build/tools/MakeImages.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/tools/MakeImages.sh b/Build/tools/MakeImages.sh index c7e9e4865bc..c4a78be54db 100755 --- a/Build/tools/MakeImages.sh +++ b/Build/tools/MakeImages.sh @@ -134,6 +134,7 @@ mkdir -p $WORK # we need at least gs, dviout and unzip from support (staw) $debug && echo " makeinst: copy top-level files..." +setup_files=`ls setuptl/* | fgrep -v x86_64` # no use in x86_64 binaries cd $master || exit 1 tar cf - \ .mkisofsrc config.* autorun.inf \ @@ -141,7 +142,7 @@ tar cf - \ COPYING \ LICENSE.TL \ README.* \ - setuptl/* \ + $setup_files \ support/gs854w32-tl.zip \ support/tex318w.zip \ support/unzip.exe \ |