diff options
-rwxr-xr-x | config | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -337,6 +337,9 @@ case "${SYSTEM}:${RELEASE}:${VERSION}:${MACHINE}" in echo "mips-sony-newsos4"; exit 0; ;; + MINGW*) + echo "${MACHINE}-whatever-mingw"; exit 0; + ;; CYGWIN*) case "$RELEASE" in [bB]*|1.0|1.[12].*) |