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