summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--configure.ac4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 140d2fe..38795ab 100644
--- a/configure.ac
+++ b/configure.ac
@@ -51,6 +51,10 @@ AC_ARG_ENABLE([dev-tools],
51 [build_dev_tools=false]) 51 [build_dev_tools=false])
52if test "$build_dev_tools" = true; then 52if test "$build_dev_tools" = true; then
53 DEV_SUB=dev 53 DEV_SUB=dev
54 AC_CHECK_HEADERS([readline/readline.h],
55 [],
56 [AC_MSG_ERROR([Please install readline development headers])]
57 )
54else 58else
55 DEV_SUB= 59 DEV_SUB=
56fi 60fi