[#2467] Fix reporting shell

diff --git a/configure.ac b/configure.ac
index dd01c8e65c6c239aa02041b3fffe2dd7c78c2d78..2a5c9fbd40b84517314183233531492bc95de571 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1203,7 +1203,9 @@ if test "x$enable_shell" != xno -o "x$enable_generate_docs" != xno; then
   # Restore prefix.
   prefix="$saved_prefix"
 
-  shell_report='yes'
+  if test "x$enable_shell" != "xno"; then
+    shell_report='yes'
+  fi
 else
   PYTHON=no
 fi