Close files.

diff --git a/Configure b/Configure
index b97635fd7ed2c23a498551b4abcbf01637dcf504..7db4330aaf00599a1309855c145ec005faa85b01 100755 (executable)
--- a/Configure
+++ b/Configure
@@ -588,6 +588,8 @@ while (<IN>)
        else
                { print OUT $_; }
        }
+close(IN);
+close(OUT);
 
 # Fix the date