diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-30 01:44:43 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-30 01:44:43 +0000 |
commit | 4a9a8b6368393f50cefae5ef19719fe717ea0b8e (patch) | |
tree | c1f56bd9d5447df9cab83315bfc8b3ccf7e1f8ae /config/readline.m4 | |
parent | 889d34864fb2218516fd18250e4f086213f14611 (diff) |
fixing some build systme warnings
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]) |