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