diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-02-03 20:57:20 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-02-03 20:57:20 +0100 |
| commit | ef85245f159402fd948ff045b56ad9095d22b39e (patch) | |
| tree | cf5d0f0ce017ed4c29c2c46da0cb6311c88c2733 /scripts/solution_kconfig | |
| parent | 9f07dd89b7cd2de6ce341afd1aed3e6bd0122a27 (diff) | |
| download | linux-conf-perf-ef85245f159402fd948ff045b56ad9095d22b39e.tar.gz linux-conf-perf-ef85245f159402fd948ff045b56ad9095d22b39e.tar.bz2 linux-conf-perf-ef85245f159402fd948ff045b56ad9095d22b39e.zip | |
Implementing main loop
These new scripts are part of main loop.
kernel is not finished!!
Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.
Diffstat (limited to 'scripts/solution_kconfig')
| -rwxr-xr-x | scripts/solution_kconfig | 38 |
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 |