There is no code using that variable according to 'git grep', so kill
it.
Signed-off-by: Eduardo Habkost
---
configure |1 -
1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/configure b/configure
index 33b7a25..3a38d28 100755
--- a/configure
+++ b/configure
@@ -3002,7 +3002,6 @
There is no code using that variable according to 'git grep', so kill
it.
Signed-off-by: Eduardo Habkost
---
configure |1 -
1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/configure b/configure
index f15b714..eca08bb 100755
--- a/configure
+++ b/configure
@@ -2985,7 +2985,6 @
There is no code using that variable according to 'git grep', so kill
it.
Signed-off-by: Eduardo Habkost
---
configure |1 -
1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/configure b/configure
index fc206ff..b02dfa3 100755
--- a/configure
+++ b/configure
@@ -2978,7 +2978,6 @