diff options
| author | Christopher Faylor <me@cgf.cx> | 2003-02-07 06:45:15 +0300 |
|---|---|---|
| committer | Christopher Faylor <me@cgf.cx> | 2003-02-07 06:45:15 +0300 |
| commit | 45b314b1ade5a71ec784d5ba5b3c041ccebd478f (patch) | |
| tree | 2927c1c6cadceb4e85ec0134b0b8c54c8ccd51ae /winsup/configure.in | |
| parent | 500ed83f45841d94552323b6b5dfb32ed7021db1 (diff) | |
* configure.in: Make w32api directory optional.
* configure: Regenerate.
Diffstat (limited to 'winsup/configure.in')
| -rwxr-xr-x | winsup/configure.in | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/winsup/configure.in b/winsup/configure.in index 2f29da8bd..3e6263b43 100755 --- a/winsup/configure.in +++ b/winsup/configure.in @@ -68,12 +68,7 @@ LIB_AC_PROG_CXX SUBDIRS='cygwin' test -d $srcdir/mingw && SUBDIRS="mingw $SUBDIRS" -if test -d $srcdir/w32api; then - SUBDIRS="w32api $SUBDIRS" -else - echo "*** missing w32api directory" 1>&2 - exit 1 -fi +test -d $srcdir/w32api && SUBDIRS="w32api $SUBDIRS" case "$with_cross_host" in ""|*cygwin*) |