diff options
| author | Christopher Faylor <me@cgf.cx> | 2002-06-02 09:54:33 +0400 |
|---|---|---|
| committer | Christopher Faylor <me@cgf.cx> | 2002-06-02 09:54:33 +0400 |
| commit | a673eba664bf26888ba73f2508227cc7b2c36d44 (patch) | |
| tree | 7321b311421c240b0a3c54cf5018e172d2f894fe /winsup/configure.in | |
| parent | e065a187abb915c2a5e16d9b895b0319e13280df (diff) | |
* configure.in: Complain about lack of w32api directory.
* configure: Regenerate.
Diffstat (limited to 'winsup/configure.in')
| -rwxr-xr-x | winsup/configure.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/winsup/configure.in b/winsup/configure.in index 21b3f1b67..79d472b9e 100755 --- a/winsup/configure.in +++ b/winsup/configure.in @@ -67,7 +67,12 @@ LIB_AC_PROG_CC LIB_AC_PROG_CXX SUBDIRS='cygwin' -test -d $srcdir/w32api && SUBDIRS="w32api $SUBDIRS" +if test -d $srcdir/w32api; then + SUBDIRS="w32api $SUBDIRS" +else + echo "*** missing w32api directory" 1>&2 + exit 1 +fi test -d $srcdir/mingw && SUBDIRS="$SUBDIRS mingw" case "$with_cross_host" in |