diff options
Diffstat (limited to 'weightmap/configure')
-rwxr-xr-x | weightmap/configure | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/weightmap/configure b/weightmap/configure index 1c2e869..83920e9 100755 --- a/weightmap/configure +++ b/weightmap/configure @@ -3707,6 +3707,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; } |