diff options
author | Karel Kočí <cynerd@email.cz> | 2015-08-26 11:15:50 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-08-26 11:32:06 +0200 |
commit | 8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb (patch) | |
tree | 3a5824e80e15909c50f842bded5f29cb037e1afc /scripts/write_config | |
parent | 0688647f2f69d1bee1ecc76338190e6a12209da5 (diff) | |
download | linux-conf-perf-8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb.tar.gz linux-conf-perf-8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb.tar.bz2 linux-conf-perf-8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb.zip |
Fix random configuration generator
Picosat is as default using 0 as seed for random generator. This lead
on same configuration every time.
Diffstat (limited to 'scripts/write_config')
0 files changed, 0 insertions, 0 deletions