diff options
Diffstat (limited to '')
| -rw-r--r-- | c/src/exec/configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/c/src/exec/configure.in b/c/src/exec/configure.in index 8701a1c634..a022f79567 100644 --- a/c/src/exec/configure.in +++ b/c/src/exec/configure.in @@ -53,6 +53,7 @@ else fi AM_CONDITIONAL(INLINE,test "$INLINEdir" = "inline" ) AM_CONDITIONAL(MACROS,test "$INLINEdir" = "macros" ) +AM_CONDITIONAL(HAS_MP,test "$HAS_MP" = "yes" ) AC_SUBST(RTEMS_VERSION) |