diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:48:40 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:52:06 +0200 |
| commit | 72316e351df5159384d70faa708224ff2fcc8dd2 (patch) | |
| tree | c96115f0ec0bbdc83d21005aeef2c847e58a780c /scripts/picosat-959/configure | |
| parent | 7c824b39e6f03fc0d459e07ea46d31335d87daec (diff) | |
| download | linux-conf-perf-72316e351df5159384d70faa708224ff2fcc8dd2.tar.gz linux-conf-perf-72316e351df5159384d70faa708224ff2fcc8dd2.tar.bz2 linux-conf-perf-72316e351df5159384d70faa708224ff2fcc8dd2.zip | |
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.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions