diff --git a/configure b/configure index 97ee606f..92b6710f 100755 --- a/configure +++ b/configure @@ -161,9 +161,25 @@ EOF # construct the Makefile.config cat > Makefile.config <