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";
-                }
-}