configure: In the summary, say which plugins have been disabled by the user.

diff --git a/configure.in b/configure.in
index 119358354dece519a5a26ab4c0c1727fd4c26d2f..db0b083ce7aac113bbc10ab565796d505d403bb1 100644 (file)
--- 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
     ],
     [