diff options
author | Laura Abbott <labbott@fedoraproject.org> | 2016-12-02 14:18:11 -0800 |
---|---|---|
committer | Laura Abbott <labbott@fedoraproject.org> | 2016-12-22 14:11:05 -0800 |
commit | a20ad4f4fd68300449af16c2e3627703951bb83c (patch) | |
tree | 15394e927c4c19ec48a6a2d50affbe9a4349aa05 /check_configs.awk | |
parent | b77b08c9c4895b5e9fbe6bc991c7d4d23368ee6b (diff) | |
download | kernel-a20ad4f4fd68300449af16c2e3627703951bb83c.tar.gz kernel-a20ad4f4fd68300449af16c2e3627703951bb83c.tar.xz kernel-a20ad4f4fd68300449af16c2e3627703951bb83c.zip |
Add script to check config generation
The kernel configuration generation currently checks to make sure
every option is defined with listnewconfig. It does not check that
each option is the same as listnewconfig. This can lead to odd
situations where the Fedora configuration does not match what's
actually present in the generated config. Add a script to check
for these kinds of changes.
Based on work done by Miguel Flores Silverio <floresmigu3l@gmail.com>
Diffstat (limited to 'check_configs.awk')
-rwxr-xr-x | check_configs.awk | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/check_configs.awk b/check_configs.awk new file mode 100755 index 000000000..16ac08a5e --- /dev/null +++ b/check_configs.awk @@ -0,0 +1,22 @@ +#!/usr/bin/awk -f + +/is not set/ { + split ($0, a, "#"); + split(a[2], b); + if (NR==FNR) { + configs[b[1]]="is not set"; + } else { + if (configs[b[1]] != "" && configs[b[1]] != "is not set") + print "Found # "b[1] " is not set, after generation, had " b[1] " " configs[b[1]] " in Fedora tree"; + } +} + +/=/ { + split ($0, a, "="); + if (NR==FNR) { + configs[a[1]]=a[2]; + } else { + if (configs[a[1]] != "" && configs[a[1]] != a[2]) + print "Found "a[1]"="configs[a[1]]" after generation, had " a[1]"="a[2]" in Fedora tree"; + } +} |