diff options
Diffstat (limited to 'sprinkler/configure')
| -rwxr-xr-x | sprinkler/configure | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sprinkler/configure b/sprinkler/configure index bdd5a01..6a718a4 100755 --- a/sprinkler/configure +++ b/sprinkler/configure @@ -3715,9 +3715,11 @@ echo "${ECHO_T}linux" >&6; } { echo "$as_me:$LINENO: result: darwin" >&5 echo "${ECHO_T}darwin" >&6; } ;; - MINGW32_NT-5.1) + MINGW32_NT-*) + ##-- build farm: `uname -s` = MINGW32_NT-5.1 { echo "$as_me:$LINENO: result: win32" >&5 echo "${ECHO_T}win32" >&6; } + uname_s="MINGW32_NT" ##-- normalize ;; IRIX64) { echo "$as_me:$LINENO: result: irix64" >&5 @@ -3784,7 +3786,7 @@ echo "$as_me: WARNING: Unknown kernel type \"$uname_s\" defaults to \"Linux\"" > ##-- win32 via minGW/MSYS ## + courtesy of pd-extended build system, SVN externals/Makefile - if test "$uname_s" = "MINGW32_NT-5.1"; + if test "$uname_s" = "MINGW32_NT"; #MINGW32_NT-5.1 then PDEXT_DFLAGS="\ -D'O_NONBLOCK=1' -D'srand48(n)=srand((n))' \ |