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/picosat-959/configure | |
| 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/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions