Vincent van Ravesteijn a02bfeebc5 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.
2012-05-03 16:14:40 +02:00
..
2011-04-02 11:00:19 +00:00
2011-02-21 19:56:43 +00:00
2012-04-16 21:40:59 +02:00
2012-04-29 14:52:57 +02:00
2012-02-10 23:31:58 +00:00
2012-03-10 12:28:44 +00:00
2012-02-28 20:34:50 +00:00
2012-04-29 14:53:40 +02:00