]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c824b3) | patch
Fix configuration generation missing file exception
authorKarel Kočí <cynerd@email.cz>
Thu, 13 Aug 2015 13:48:40 +0000 (15:48 +0200)
committerKarel Kočí <cynerd@email.cz>
Thu, 13 Aug 2015 13:52:06 +0000 (15:52 +0200)
commit72316e351df5159384d70faa708224ff2fcc8dd2
treec96115f0ec0bbdc83d21005aeef2c847e58a780ctree | snapshot
parent7c824b39e6f03fc0d459e07ea46d31335d87daeccommit | diff
Fix configuration generation missing file exception

If generating single throw NoSolution exception, randomly generated CNF
file is removed. But finally statement tries to remove it once again.
Solution is to not remove CNF file in exception handling, but only by
finally statement.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options