From: Florian Forster 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.octo.it/?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 <