Vincent van Ravesteijn 53cea14986 configure.py: Replace 'ltx' by 'log' case insensitively
On windows the temporary filename consists of uppercase characters. This
causes that the extension does not get replaced, and the logfile is left
behind.

Checking the extension case insensitively will correctly remove the
logfile.

(cherry picked from commit a02bfeebc534925734821e8921bac07c67af6d39)
2012-05-06 17:23:18 +02:00
..
2011-09-10 14:27:19 +00:00
2011-04-02 11:00:19 +00:00
2012-05-03 15:34:37 -04:00
2011-02-21 19:56:43 +00:00
2011-12-03 15:27:20 +00:00
2012-04-25 10:42:55 +02:00
2011-06-20 10:12:10 +00:00
2011-06-20 10:12:10 +00:00
2011-04-29 00:12:05 +00:00
2012-05-03 15:34:37 -04:00
2012-01-22 10:34:07 +00:00
2012-02-28 20:46:20 +00:00