1 files changed, 4 insertions, 0 deletions
diff --git a/gfsm/configure b/gfsm/configure
index dab8348..3c9b01f 100755
--- a/gfsm/configure
+++ b/gfsm/configure
@@ -20367,6 +20367,10 @@ echo "${ECHO_T}linux" >&6; }
      { echo "$as_me:$LINENO: result: darwin" >&5
 echo "${ECHO_T}darwin" >&6; }
      ;;
+   MINGW32_NT-5.1)
+     { echo "$as_me:$LINENO: result: win32" >&5
+echo "${ECHO_T}win32" >&6; }
+     ;;
    IRIX64)
      { echo "$as_me:$LINENO: result: irix64" >&5
 echo "${ECHO_T}irix64" >&6; }