1 files changed, 26 insertions, 0 deletions
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