diff options
Diffstat (limited to 'config/open-axiom.m4')
| -rw-r--r-- | config/open-axiom.m4 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 8d7c3e13..da4dc75c 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -1049,10 +1049,10 @@ dnl or vendor lock-ins such as `__alignof'. AC_DEFUN([OPENAXIOM_ALIGNMENT_OPERATOR],[ AC_MSG_CHECKING([name of alignment query operator]) oa_alignment= -AC_COMPILE_IFELSE([AC_LANG_SOURCE([[int a = __alignof(int);]])], - [oa_alignment="__alignof"], - [AC_COMPILE_IFELSE([AC_LANG_SOURCE([[int a = alignof(int);]])], - [oa_alignment="alignof"], +AC_COMPILE_IFELSE([AC_LANG_SOURCE([[int a = alignof(int);]])], + [oa_alignment="alignof"], + [AC_COMPILE_IFELSE([AC_LANG_SOURCE([[int a = __alignof(int);]])], + [oa_alignment="__alignof"], [AC_MSG_ERROR([C++ compiler does not support alignment query operator])])]) AC_DEFINE_UNQUOTED([openaxiom_alignment],[$oa_alignment], [Alignment query operator]) |