diff options
Diffstat (limited to 'lib/make/configure.in')
| -rw-r--r-- | lib/make/configure.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/make/configure.in b/lib/make/configure.in index 83a83be7..258dad06 100644 --- a/lib/make/configure.in +++ b/lib/make/configure.in @@ -371,10 +371,13 @@ CCTK_CHECK_HEADERS(sys/stat.h) CCTK_CHECK_HEADERS(getopt.h) CCTK_CHECK_HEADERS(dirent.h) CCTK_HEADER_REGEX -CCTK_CHECK_HEADERS(sys/socket.h,[#ifdef HAVE_SYS_TYPES_H +CCTK_CHECK_HEADERS(sys/filio.h,[#ifdef HAVE_SYS_TYPES_H #include <sys/types.h> #endif]) -CCTK_CHECK_HEADERS(sys/filio.h,[#ifdef HAVE_SYS_TYPES_H +CCTK_CHECK_HEADERS(sys/ioctl.h,[#ifdef HAVE_SYS_TYPES_H +#include <sys/types.h> +#endif]) +CCTK_CHECK_HEADERS(sys/socket.h,[#ifdef HAVE_SYS_TYPES_H #include <sys/types.h> #endif]) CCTK_CHECK_HEADERS(netinet/in.h,[#ifdef HAVE_SYS_TYPES_H |