diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-03-23 10:30:00 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-03-23 10:30:00 +0100 |
| commit | 1f7a1ce514016640bc10f93ac01661994b14746a (patch) | |
| tree | e15f8ceb2fd2373beadf8c2f0db42d778823e5b0 | |
| parent | 63bc217e9c13e295cc8e7df89dad0a14d29cb5b8 (diff) | |
| download | linux-conf-perf-1f7a1ce514016640bc10f93ac01661994b14746a.tar.gz linux-conf-perf-1f7a1ce514016640bc10f93ac01661994b14746a.tar.bz2 linux-conf-perf-1f7a1ce514016640bc10f93ac01661994b14746a.zip | |
Fix NONAMEGEN generation problem
NONAMEGENs were written to .config file because they were not ignored right.
| -rw-r--r-- | scripts/solution.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/solution.py b/scripts/solution.py index 0ba4d93..969219e 100644 --- a/scripts/solution.py +++ b/scripts/solution.py @@ -96,7 +96,7 @@ def apply(): txt = txt[1:] else: nt = False - if 'NONAMEGEN' in txt: # ignore generated names + if 'NONAMEGEN' in utils.smap[txt]: # ignore generated names continue f.write('CONFIG_' + utils.smap[txt] + '=') |