diff --git a/configure b/configure
index 58c1eb2ce50..7cdb4af8a62 100755
--- a/configure
+++ b/configure
@@ -6703,11 +6703,9 @@ report_support()
             return
             :;
     esac
-    local heading
     heading=$1
     shift
 
-    local value
     value=$1
     shift