=7a34377e3277a6a0e2eedd40e90452a44c55f1e6#n477
Signed-off-by: Adrian Ratiu
---
configure | 10 +-
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/configure b/configure
index 650b52fcc5..98e29b49f9 100755
--- a/configure
+++ b/configure
@@ -4400,11 +4400,7 @@ cc_default="${cross_prefix}${cc_de
=7a34377e3277a6a0e2eedd40e90452a44c55f1e6#n477
Signed-off-by: Adrian Ratiu
---
configure | 10 +-
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/configure b/configure
index a251e27723..61c150959e 100755
--- a/configure
+++ b/configure
@@ -4416,11 +4416,7 @@ cc_default="${cross_prefix}${cc_de