diff options
Diffstat (limited to 'config/readline.m4')
| -rw-r--r-- | config/readline.m4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/readline.m4 b/config/readline.m4 index 42c85d47d..6cfe6a982 100644 --- a/config/readline.m4 +++ b/config/readline.m4 @@ -33,8 +33,8 @@ else cvc4_save_LDFLAGS="$LDFLAGS" LDFLAGS="-static $LDFLAGS" LIBS="$READLINE_LIBS $LIBS" - AC_LINK_IFELSE(AC_LANG_PROGRAM([#include <readline/readline.h>], - [readline("")]), + AC_LINK_IFELSE([AC_LANG_PROGRAM([#include <readline/readline.h>], + [readline("")])], [ AC_MSG_RESULT([yes, it works]) with_readline=yes ], [ AC_MSG_RESULT([no]) |