1 files changed, 0 insertions, 38 deletions
diff --git a/scripts/solution_kconfig b/scripts/solution_kconfig
deleted file mode 100755
index 7f9e5dd..0000000
--- a/scripts/solution_kconfig
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/bash
-
-SAT_FOLDER="$1"
-CONF="$2"
-LINKER="$1/linker"
-SOLUTION="$1/solution"
-
-SAT=`head -1 "$SOLUTION"`
-SOL=`tail -1 "$SOLUTION"`
-
-if [[ ! -w "$CONF" ]]; then
-	echo "No file \"$CONF\"" >&2
-	exit 1
-fi
-
-if [[ "$SAT" != "SAT" ]]; then
-	echo "No solution" >&2
-	exit 1
-fi
-
-for exp in $SOL; do
-	if [[ "$exp" != "0" ]]; then
-		if [[ `echo "$exp" | head -c 1` = "-" ]]; then
-			exp=`echo "$exp" | cut -c 2-`
-			not="n"
-		else
-			not="y"
-		fi
-		lnk=`grep -e "^$exp:" "$LINKER" | sed 's/^[0-9]*\://'`
-		if [[ "$lnk" != NONAMEGEN* ]]; then # Ignore no name configs
-			if [[ -z `grep "^CONFIG_$lnk" "$CONF"` ]]; then
-				echo "CONFIG_$lnk=$not" >> "$CONF"
-			else
-				sed "s/^CONFIG_$lnk=.*/CONFIG_$lnk=$not/" "$CONF" > "$CONF"
-			fi
-		fi
-	fi
-done