support mingw in factor.sh

diff --git a/build-support/factor.sh b/build-support/factor.sh
index ba5815cfc180eb90e3cbbe23964924af7f8ae2c4..d5b8bd5411c7e3c10b4c6bacb3a378174d640507 100755 (executable)
--- a/build-support/factor.sh
+++ b/build-support/factor.sh
@@ -174,6 +174,7 @@ find_os() {
         CYGWIN_NT-5.2-WOW64) OS=winnt;;
         *CYGWIN_NT*) OS=winnt;;
         *CYGWIN*) OS=winnt;;
+        MINGW32*) OS=winnt;;
         *darwin*) OS=macosx;;
         *Darwin*) OS=macosx;;
         *linux*) OS=linux;;