From adaff4f09e48439f14e0837ed8fe7896d658d358 Mon Sep 17 00:00:00 2001 From: Florian Forster Date: Sat, 11 May 2013 10:11:24 +0200 Subject: [PATCH] configure.in: Remove the unused "plugin_mic" variable. --- configure.in | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 <