diff options
author | Karel Kočí <cynerd@email.cz> | 2015-05-14 22:46:43 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-05-14 22:46:43 +0200 |
commit | b56c0f70bc82bc10fa3a97559ba8ecb77c78a64b (patch) | |
tree | f580f0f782eb8d996fecfc80b32248b8a6cdf5d5 /scripts | |
parent | dc1d4a961622d209d4b99273707accd5250a02f9 (diff) | |
download | linux-conf-perf-b56c0f70bc82bc10fa3a97559ba8ecb77c78a64b.tar.gz linux-conf-perf-b56c0f70bc82bc10fa3a97559ba8ecb77c78a64b.tar.bz2 linux-conf-perf-b56c0f70bc82bc10fa3a97559ba8ecb77c78a64b.zip |
Fix solution generation in case of gen_all_solution_oninit
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/loop.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/loop.py b/scripts/loop.py index d9b2afd..9cae754 100755 --- a/scripts/loop.py +++ b/scripts/loop.py @@ -23,8 +23,9 @@ def step(): phase_message(2) phase_set(3) elif phs == 3: - phase_message(3) - solution.generate() + if not conf.gen_all_solution_oninit: + phase_message(3) + solution.generate() iteration_inc() phase_set(4) elif phs == 4: |