summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2024-05-02 20:29:00 +0000
committerKarl Berry <karl@freefriends.org>2024-05-02 20:29:00 +0000
commit2cd46da6a18134a0ea948a23a17f2a7acac6b2fd (patch)
tree1107e46740b5355c3dd8e3aa4d5573c2ef33e4e0
parente3ea0dc796726fb837e60a8e146302fe582a8be3 (diff)
de morgan
git-svn-id: svn://tug.org/texlive/trunk@71157 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/install-tl2
-rw-r--r--Master/tlpkg/TeXLive/TLPDB.pm2
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/install-tl b/Master/install-tl
index a03b085cd44..2e3ad13dcab 100755
--- a/Master/install-tl
+++ b/Master/install-tl
@@ -602,7 +602,7 @@ if (!$opt_custom_bin && (platform() eq "i386-cygwin")) {
# More Cygwin: if the user doesn't have Cygwin's wget or curl,
# it's unlikely anything good will happen.
if ($^O eq 'cygwin'
- && (! -x "/usr/bin/curl.exe" || ! -x "/usr/bin/wget.exe")) {
+ && (! -x "/usr/bin/curl.exe" && ! -x "/usr/bin/wget.exe")) {
print "mess_yesno\n" if $from_ext_gui; # prepare for dialog interaction
print <<END_CYGWIN_WGET_MSG;
It seems you are using Cygwin and have not installed Cygwin's
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm
index 614c822a3f8..ebb7b546469 100644
--- a/Master/tlpkg/TeXLive/TLPDB.pm
+++ b/Master/tlpkg/TeXLive/TLPDB.pm
@@ -370,7 +370,7 @@ END_DOWNLOAD_FAILURE_MSG
# If they have the Cygwin wget.exe, some other problem.
if ($^O eq 'cygwin'
- && (! -x "/usr/bin/curl.exe" || ! -x "/usr/bin/wget.exe")) {
+ && (! -x "/usr/bin/curl.exe" && ! -x "/usr/bin/wget.exe")) {
$diemsg .= <<END_CYGWIN_WGET_MSG;
It seems you are using Cygwin and have not installed Cygwin's