diff --git a/configure b/configure index 8a0eb4b..4a4e304 100755 --- a/configure +++ b/configure @@ -507,6 +507,7 @@ cat >$1/conf.pro <