From: Florian Forster <octo@collectd.org>
Date: Sat, 11 May 2013 08:11:24 +0000 (+0200)
Subject: configure.in: Remove the unused "plugin_mic" variable.
X-Git-Tag: collectd-5.4.0~42^2~8
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=adaff4f09e48439f14e0837ed8fe7896d658d358;p=collectd.git

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

diff --git a/configure.in b/configure.in
index 5fccebd4..a0c95a6b 100644
--- 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