summaryrefslogtreecommitdiff
path: root/README.win32.adoc
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2021-04-28 18:08:03 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2021-04-28 18:08:03 +0100
commit513396135955ca21fd01b38347fbfab023907102 (patch)
tree81d023835b442c9dcaa6506f02122b4c84a0617c /README.win32.adoc
parent00c84b8a1c952785f9aec58f5d68ef6c5f4b56c3 (diff)
downloadocaml-513396135955ca21fd01b38347fbfab023907102.tar.gz
Use correct canonical name for Cygwin64
Use x86_64-pc-cygwin not x86_64-unknown-cygwin.
Diffstat (limited to 'README.win32.adoc')
-rw-r--r--README.win32.adoc4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.win32.adoc b/README.win32.adoc
index d97aaeb0a3..bfd1d0cde5 100644
--- a/README.win32.adoc
+++ b/README.win32.adoc
@@ -201,7 +201,7 @@ Now run:
for 32-bit, or:
- ./configure --build=x86_64-unknown-cygwin --host=x86_64-pc-windows
+ ./configure --build=x86_64-pc-cygwin --host=x86_64-pc-windows
for 64-bit.
@@ -266,7 +266,7 @@ Now run:
for 32-bit, or:
- ./configure --build=x86_64-unknown-cygwin --host=x86_64-w64-mingw32
+ ./configure --build=x86_64-pc-cygwin --host=x86_64-w64-mingw32
for 64-bit.