jianhai / rpms / kernel

Forked from rpms/kernel 3 years ago
Clone
f2c60e
#!/usr/bin/awk -f
f2c60e
f2c60e
/is not set/ {
f2c60e
                split ($0, a, "#");
f2c60e
                split(a[2], b);
f2c60e
                if (NR==FNR) {
f2c60e
                        configs[b[1]]="is not set";
f2c60e
                } else {
f2c60e
                        if (configs[b[1]] != "" && configs[b[1]] != "is not set")
f2c60e
                                print "Found # "b[1] " is not set, after generation, had " b[1] " " configs[b[1]] " in Fedora tree";
f2c60e
                }
f2c60e
}
f2c60e
f2c60e
/=/     {
f2c60e
                split ($0, a, "=");
f2c60e
                if (NR==FNR) {
f2c60e
                        configs[a[1]]=a[2];
f2c60e
                } else {
f2c60e
                        if (configs[a[1]] != "" && configs[a[1]] != a[2])
f2c60e
                                print "Found "a[1]"="configs[a[1]]"  after generation, had " a[1]"="a[2]" in Fedora tree";
f2c60e
                }
f2c60e
}