configure.in: Remove the unused "plugin_mic" variable.

diff --git a/configure.in b/configure.in
index 5fccebd461783298b96667bf45f60e4f626dfea0..a0c95a6baa817ad5561cec220313e478ec82cfdc 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -4816,10 +4816,6 @@ then
        plugin_memory="yes"
        plugin_tcpconns="yes"
 fi
-if test "x$with_mic" = "xyes"
-then
-       plugin_mic="yes"
-fi
 
 # Df plugin: Check if we know how to determine mount points first.
 #if test "x$have_listmntent" = "xyes"; then
@@ -5233,6 +5229,7 @@ cat <<EOF;
 
 Configuration:
   Libraries:
+    intel mic . . . . . . $with_mic
     libcurl . . . . . . . $with_libcurl
     libdbi  . . . . . . . $with_libdbi
     libcredis . . . . . . $with_libcredis
@@ -5266,7 +5263,6 @@ Configuration:
     libstatgrab . . . . . $with_libstatgrab
     libtokyotyrant  . . . $with_libtokyotyrant
     libupsclient  . . . . $with_libupsclient
-    mic  . . .  . . . . . $with_mic
     libvarnish  . . . . . $with_libvarnish
     libvirt . . . . . . . $with_libvirt
     libxml2 . . . . . . . $with_libxml2