aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/open-axiom.m44
1 files changed, 2 insertions, 2 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index c7b4250f..2a667836 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -355,8 +355,8 @@ dnl -- OPENAXIOM_CXX_EXTRA_OPTIONS --
dnl ---------------------------------
AC_DEFUN([OPENAXIOM_EXTRA_CXX_OPTIONS], [
oa_extra_cxxflags=
-OPENAXIOM_CXX_GROK_OPTIONS([-Wno-mismatch-tags],[oa_extra_cxxflags])
-OPENAXIOM_CXX_GROK_OPTIONS([-Wno-string-plus-int],[oa_extra_cxxflags])
+OPENAXIOM_CXX_GROK_OPTION([-Wno-mismatch-tags],[oa_extra_cxxflags])
+OPENAXIOM_CXX_GROK_OPTION([-Wno-string-plus-int],[oa_extra_cxxflags])
AC_SUBST(oa_extra_cxxflags)
])