diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-18 10:41:40 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-18 10:53:52 +0200 |
| commit | 125a8b082b10348dfeb15b25e6697f770d1d20f4 (patch) | |
| tree | 76a224271e8ed649adbd23796388343c4cd79813 /scripts/picosat-959/picomcs.c | |
| parent | 383e0cd365818982b2dadddafa44b97033e9a12f (diff) | |
| download | linux-conf-perf-125a8b082b10348dfeb15b25e6697f770d1d20f4.tar.gz linux-conf-perf-125a8b082b10348dfeb15b25e6697f770d1d20f4.tar.bz2 linux-conf-perf-125a8b082b10348dfeb15b25e6697f770d1d20f4.zip | |
Generate configuration as ditionary in picosat function
Picosat output is parsed and automatically is resolved to dictionary
with configuration option name as key and boolean value. This makes all
configurations in script of same type. All are dictionaries this way.
Diffstat (limited to 'scripts/picosat-959/picomcs.c')
0 files changed, 0 insertions, 0 deletions