aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-13 15:48:40 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 15:52:06 +0200
commit72316e351df5159384d70faa708224ff2fcc8dd2 (patch)
treec96115f0ec0bbdc83d21005aeef2c847e58a780c /scripts/picosat-959/configure
parent7c824b39e6f03fc0d459e07ea46d31335d87daec (diff)
downloadlinux-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