summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/texlive.infra.tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-04-21 17:28:32 +0000
committerKarl Berry <karl@freefriends.org>2014-04-21 17:28:32 +0000
commit227e780cfebb4e6fd172efa9b6d3af56e4c59128 (patch)
tree5de9dec134feece46f86d01208ae597244cdd907 /Master/tlpkg/tlpsrc/texlive.infra.tlpsrc
parent4417c0f33bed6842ba7e800ecf82d0ea4d4497ce (diff)
more x86_64 cygwin checks
git-svn-id: svn://tug.org/texlive/trunk@33590 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/texlive.infra.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/texlive.infra.tlpsrc8
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/texlive.infra.tlpsrc b/Master/tlpkg/tlpsrc/texlive.infra.tlpsrc
index b90cb4852df..da1efdd2ed6 100644
--- a/Master/tlpkg/tlpsrc/texlive.infra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/texlive.infra.tlpsrc
@@ -28,16 +28,23 @@ runpattern f texmf-dist/web2c/updmap-hdr.cfg
runpattern f tlpkg/installer/config.guess
#
binpattern f bin/${ARCH}/tlmgr
+#
binpattern f/win32 bin/win32/tlmgr-gui.exe
binpattern f/win32 tlpkg/installer/tar.exe
binpattern f/win32 tlpkg/installer/xz/xzdec.exe
binpattern f/win32 tlpkg/installer/xz/xz.exe
binpattern f/win32 tlpkg/installer/wget/wget.exe
+#
binpattern f/i386-cygwin tlpkg/installer/xz/xzdec.i386-cygwin.exe
binpattern f/i386-cygwin tlpkg/installer/xz/xz.i386-cygwin.exe
binpattern f/!i386-cygwin tlpkg/installer/xz/xzdec.${ARCH}
binpattern f/!i386-cygwin tlpkg/installer/xz/xz.${ARCH}
#
+binpattern f/x86_64-cygwin tlpkg/installer/xz/xzdec.x86_64-cygwin.exe
+binpattern f/x86_64-cygwin tlpkg/installer/xz/xz.x86_64-cygwin.exe
+binpattern f/!x86_64-cygwin tlpkg/installer/xz/xzdec.${ARCH}
+binpattern f/!x86_64-cygwin tlpkg/installer/xz/xz.${ARCH}
+#
# Lots of platforms provide wget as part of the normal system install.
binpattern f/!\
alpha-linux,\
@@ -48,6 +55,7 @@ i386-linux,\
i386-solaris,\
mipsel-linux,\
powerpc-linux,\
+x86_64-cygwin,\
x86_64-linux,\
x86_64-solaris \
tlpkg/installer/wget/wget.${ARCH}