diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 7a99d038ee..c920a25a0a 100644 --- a/configure.in +++ b/configure.in @@ -1346,7 +1346,7 @@ if test x"$enable_plugins" = "xno"; then plugins_enabled="" msg_plugins="no" else - if test x"$enable_plugins" = "xyes" | test x"$enable_plugins" = "xall"; then + if test x"$enable_plugins" = "xyes" -o x"$enable_plugins" = "xall"; then plugins_enabled="$plugins_all" msg_plugins="yes (all)" else |