diff options
Diffstat (limited to 'winsup/w32api/configure')
| -rwxr-xr-x | winsup/w32api/configure | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/winsup/w32api/configure b/winsup/w32api/configure index d180aca5a..3d0556f2c 100755 --- a/winsup/w32api/configure +++ b/winsup/w32api/configure @@ -1183,12 +1183,10 @@ fi echo $ac_n "checking for build environment""... $ac_c" 1>&6 echo "configure:1186: checking for build environment" >&5 -BUILDENV= -if test -d ../../winsup; then - BUILDENV=cygwin -elif test -d ../mingw; then - BUILDENV=mingw -fi +case "$build_alias" in +*-mingw*) BUILDENV=mingw;; +*-cygwin*) BUILDENV=cygwin;; +esac if test -z "$BUILDENV"; then echo "$ac_t""standard" 1>&6 else |