diff options
| -rwxr-xr-x | build/autoconf/config.guess | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/autoconf/config.guess b/build/autoconf/config.guess index d5d667d4a..28d509201 100755 --- a/build/autoconf/config.guess +++ b/build/autoconf/config.guess @@ -842,6 +842,13 @@ EOF i*:CYGWIN*:*) echo ${UNAME_MACHINE}-pc-cygwin exit ;; + *:MINGW32_NT*:*) + if [ "$PLATFORM" = "X64" ]; then + echo x86_64-pc-mingw32 + else + echo ${UNAME_MACHINE}-pc-mingw32 + fi + exit ;; *:MINGW64*:*) echo ${UNAME_MACHINE}-pc-mingw64 exit ;; |