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/cvc4.m4 | |
parent | 889d34864fb2218516fd18250e4f086213f14611 (diff) |
fixing some build systme warnings
Diffstat (limited to 'config/cvc4.m4')
-rw-r--r-- | config/cvc4.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 58ab990b3..c530b8543 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -96,7 +96,7 @@ AC_MSG_CHECKING([whether $CXX supports $1]) cvc4_save_CXXFLAGS="$CXXFLAGS" CXXFLAGS="$CXXFLAGS $1" AC_LANG_PUSH([C++]) -AC_COMPILE_IFELSE([int main() { return 0; }], +AC_COMPILE_IFELSE([AC_LANG_SOURCE([int main() { return 0; }])], [AC_MSG_RESULT([yes]); $2='$1'], [AC_MSG_RESULT([no])]) AC_LANG_POP([C++]) |