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