diff options
author | Karl Berry <karl@freefriends.org> | 2024-05-02 20:29:00 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-05-02 20:29:00 +0000 |
commit | 2cd46da6a18134a0ea948a23a17f2a7acac6b2fd (patch) | |
tree | 1107e46740b5355c3dd8e3aa4d5573c2ef33e4e0 | |
parent | e3ea0dc796726fb837e60a8e146302fe582a8be3 (diff) |
de morgan
git-svn-id: svn://tug.org/texlive/trunk@71157 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/install-tl | 2 | ||||
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 2 |
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 |