diff --git a/configure b/configure index f9e354521a..1496925a41 100755 --- a/configure +++ b/configure @@ -5863,7 +5863,6 @@ cat <