diff options
Diffstat (limited to 'winsup/configure')
| -rwxr-xr-x | winsup/configure | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/winsup/configure b/winsup/configure index 108aa36ef..21361f9e7 100755 --- a/winsup/configure +++ b/winsup/configure @@ -826,12 +826,20 @@ else fi -SUBDIRS="cygwin w32api mingw utils doc" -test -d $srcdir/cinstall && SUBDIRS="$SUBDIRS cinstall" +SUBDIRS='cygwin w32api mingw' +case "$with_cross_host" in + ""|*cygwin*) + SUBDIRS="$SUBDIRS utils" + test -d $srcdir/cinstall && SUBDIRS="$SUBDIRS cinstall" + SUBDIRS="$SUBDIRS doc" + ;; +esac + subdirs="$SUBDIRS" + echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6 -echo "configure:835: checking whether ${MAKE-make} sets \${MAKE}" >&5 +echo "configure:843: checking whether ${MAKE-make} sets \${MAKE}" >&5 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'` if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then echo $ac_n "(cached) $ac_c" 1>&6 |