diff --git a/configure b/configure index e6d9030d84..576a950ea3 100755 --- a/configure +++ b/configure @@ -7000,7 +7000,7 @@ cat > $TMPH <