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

diff --git a/configure.in b/configure.in
index 1193583..db0b083 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
     ],
     [