From f667025d2076b31eab833aafdeb2e24c765dd1a7 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 12 Jul 2018 13:54:41 +0200
Subject: initial commit

---
 merge-kernel-configs | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 merge-kernel-configs

diff --git a/merge-kernel-configs b/merge-kernel-configs
new file mode 100755
index 0000000..d8d86e3
--- /dev/null
+++ b/merge-kernel-configs
@@ -0,0 +1,26 @@
+#!/bin/bash
+
+# merge-kernel-configs $out
+# (reads from stdin)
+
+rm -f "$1"
+touch "$1"
+
+while read -r line; do
+  variable=$(
+    printf '%s\n' "${line}" | \
+      sed '
+        s/^# \(\S\+\) is not set$/\1/
+        t
+        s/=.*$//
+        t
+        d
+      '
+  )
+  if [ -z "${variable}" ] || \
+    grep -q '^\(# \)\?'"${variable}"'[= ]' "$1"; then
+    continue
+  fi
+  printf '%s\n' "${line}" >> \
+    "$1"
+done
-- 
cgit v1.2.3-54-g00ecf