diff options
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 492f95b5..d42d881c 100644 --- a/configure.ac +++ b/configure.ac @@ -227,6 +227,7 @@ AC_CHECK_HEADERS([readline/readline.h readline/history.h], AC_CHECK_LIB(readline, rl_initialize, LIBS="$LIBS -lreadline", AC_MSG_ERROR([readline headers found but there is no readline library to make use of]) ), + AC_MSG_ERROR([no readline/readline.h header file found]) ) @@ -237,6 +238,7 @@ AC_CHECK_HEADERS([pthread.h], AC_CHECK_LIB(pthread, pthread_create, LIBS="$LIBS -lpthread", AC_MSG_ERROR([pthread.h found but there is no pthread library to make use of]) ), + AC_MSG_ERROR([no pthread.h header header file found]) ) dnl ======================== |