diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/configure b/configure index 32d003cd354..0fc08b58ede 100755 --- a/configure +++ b/configure @@ -2782,10 +2782,7 @@ case "${host}" in *-cygwin*) host_makefile_frag="config/mh-cygwin" ;; - *-mingw32*) - host_makefile_frag="config/mh-mingw" - ;; - *-mingw64*) + *-mingw*) host_makefile_frag="config/mh-mingw" ;; *-interix*) |