From c632c2e5d2c982846ebbb789b0661702872518d0 Mon Sep 17 00:00:00 2001 From: Sebastian Harl Date: Tue, 30 Mar 2010 22:15:56 +0200 Subject: [PATCH] configure: In the summary, say which plugins have been disabled by the user. --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.in b/configure.in index 11935835..db0b083c 100644 --- a/configure.in +++ b/configure.in @@ -3789,7 +3789,7 @@ AC_DEFUN( enable_plugin="yes" force="yes" else - enable_plugin="no" + enable_plugin="no (disabled on command line)" fi; fi ], [ -- 2.11.0