diff --git a/src/configure b/src/configure index e620511d8c..d8c8769902 100755 --- a/src/configure +++ b/src/configure @@ -615,10 +615,10 @@ fi cat <