]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f25da8) | patch
configure.py: Replace 'ltx' by 'log' case insensitively
authorVincent van Ravesteijn <vfr@lyx.org>
Thu, 3 May 2012 13:11:10 +0000 (15:11 +0200)
committerVincent van Ravesteijn <vfr@lyx.org>
Sun, 6 May 2012 15:23:18 +0000 (17:23 +0200)
commit53cea1498612cd29077ff8fb656d7fdef9c1af3e
treeb466f6485e5c169347eeb10682ec2152350a03edtree | snapshot
parent9f25da8c12882a58375591dd93bfef859594a24bcommit | diff
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)
lib/configure.py diff | blob | history
status.20x diff | blob | history
Repository for new features