diff options
| author | Karel Kočí <cynerd@email.cz> | 2014-12-16 20:25:31 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2014-12-16 20:25:31 +0100 |
| commit | 52f268cc92049fe7199e7102d72cfd92d9971c78 (patch) | |
| tree | d062ecebf52256842c61a66e620b7afb695edf35 /scripts/solution.py | |
| parent | 0b9b90f209851b8db732408df66272f2ed9234b3 (diff) | |
| download | linux-conf-perf-52f268cc92049fe7199e7102d72cfd92d9971c78.tar.gz linux-conf-perf-52f268cc92049fe7199e7102d72cfd92d9971c78.tar.bz2 linux-conf-perf-52f268cc92049fe7199e7102d72cfd92d9971c78.zip | |
Add solution_kconfig
This script is for setting options from sat generated solution to kconfig.
Diffstat (limited to 'scripts/solution.py')
0 files changed, 0 insertions, 0 deletions