From 692398cecfb6f7dd8bd82ec2e30e828db7e7c7d4 Mon Sep 17 00:00:00 2001 From: Laura Abbott Date: Mon, 2 Dec 2019 13:13:05 -0500 Subject: [PATCH] Remove check_configs awk script This has been folded into other config generation scripts --- check_configs.awk | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100755 check_configs.awk 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"; - } -}