From da4282b0b0f7f96849109db578a35946c408a709 Mon Sep 17 00:00:00 2001
From: Doug Coleman <erg@jobim.(none)>
Date: Sat, 30 May 2009 10:34:47 -0500
Subject: [PATCH] support mingw in factor.sh

---
 build-support/factor.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-support/factor.sh b/build-support/factor.sh
index ba5815cfc1..d5b8bd5411 100755
--- 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;;