diff options
Diffstat (limited to 'config/open-axiom.m4')
| -rw-r--r-- | config/open-axiom.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index caf6d599..c26b4cde 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -169,7 +169,7 @@ fi AC_MSG_RESULT([$axiom_lisp_flavor]) AC_DEFINE_UNQUOTED([OPENAXIOM_BASE_RTS], - [openaxiom_${axiom_lisp_flavor}_runtime], + [${axiom_lisp_flavor}_runtime], [The kind of base runtime system for this build.]) ]) |