diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 754c79d39eec..5291f0f529fb 100644 --- a/configure.in +++ b/configure.in @@ -4048,7 +4048,11 @@ if test -n "$enable_symbols" -a "$enable_symbols" != "no"; then ENABLE_SYMBOLS="TRUE" AC_MSG_RESULT([yes]) else - ENABLE_SYMBOLS= + if test -n "$enable_symbols" -a "$enable_symbols" = "no"; then + ENABLE_SYMBOLS="FALSE" + else + ENABLE_SYMBOLS= + fi AC_MSG_RESULT([no]) fi AC_SUBST(ENABLE_SYMBOLS) |