diff options
| -rwxr-xr-x | check_configs.awk | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/check_configs.awk b/check_configs.awk deleted file mode 100755 index 16ac08a5e..000000000 --- a/check_configs.awk +++ /dev/null @@ -1,22 +0,0 @@ -#!/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"; - } -} |