From 0369c9efcd941d9f76364568d56024b841aa66b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Fri, 17 Jul 2015 11:37:53 +0200
Subject: Add simple bash script to remove configs options from full
 configuration

Options are removed if they are found in selected folder (variable FOLDER).
---
 scripts/from_folder | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 scripts/from_folder

(limited to 'scripts')

diff --git a/scripts/from_folder b/scripts/from_folder
new file mode 100755
index 0000000..b72899f
--- /dev/null
+++ b/scripts/from_folder
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+FOLDER=linux/arch
+
+CONF=`find $FOLDER -name Kconfig | xargs grep -e ^config | cut -d ' ' -f2`
+
+REG=`echo $CONF | tr " " "|" | sed 's/^/\(/' | sed 's/$/\)/'`
+
+#egrep "$REG" $1
+egrep -v "$REG" $1 > $2
-- 
cgit v1.2.3