From 2641f042bd82dc94f005c413957e0aed2f76a2b1 Mon Sep 17 00:00:00 2001 From: Slawek Figiel Date: Thu, 29 Jun 2023 13:35:06 +0200 Subject: [PATCH] [#2467] Fix reporting shell --- configure.ac | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/configure.ac b/configure.ac index dd01c8e65c..2a5c9fbd40 100644 --- 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 -- 2.47.2