diff --git a/src/configure b/src/configure index fca4a310d4ecda7c74f7a4239489ff89716513cd..e5d966c0af78011199029c7e33c8064252d295a1 100755 --- a/src/configure +++ b/src/configure @@ -649,10 +649,10 @@ fi cat <