config/config.mk
changeset 2444 896cb0d36c1a
parent 1976 2d90ec981ba3
child 2445 7000b634ba04
     1.1 --- a/config/config.mk	Tue Jun 08 23:26:54 2010 +0200
     1.2 +++ b/config/config.mk	Sun May 08 19:02:44 2011 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4  	$(SILENT)(echo "# $(2) menu";                                           \
     1.5  	  echo "# Generated file, do not edit!!!";                              \
     1.6  	  echo "";                                                              \
     1.7 -	  echo "choice";                                                        \
     1.8 +	  echo "choice GEN_CHOICE_$(3)";                                        \
     1.9  	  echo "    bool";                                                      \
    1.10  	  echo "    prompt \"$(2)\"";                                           \
    1.11  	  echo "";                                                              \
    1.12 @@ -90,13 +90,13 @@
    1.13  	    echo "config $(3)_$${_entry}";                                      \
    1.14  	    echo "    bool";                                                    \
    1.15  	    echo "    prompt \"$${entry}\"";                                    \
    1.16 -	    dep_val=$$($(grep) -E '^# depends on ' $${file} 2>/dev/null);       \
    1.17 -	    if [ -n "$${dep_val}" ]; then                                       \
    1.18 -	      echo "    $${dep_val#\# }";                                       \
    1.19 -	    fi;                                                                 \
    1.20  	    if [ "$(5)" = "Y" ]; then                                           \
    1.21  	      echo "    depends on $(3)_$${_entry}_AVAILABLE";                  \
    1.22  	    fi;                                                                 \
    1.23 +	    sed -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;\
    1.24 +	    sed -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;    \
    1.25 +		echo "    help";                                                    \
    1.26 +	    sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null; \
    1.27  	    echo "";                                                            \
    1.28  	  done;                                                                 \
    1.29  	  echo "endchoice";                                                     \
    1.30 @@ -157,10 +157,11 @@
    1.31  	    echo "menuconfig $(3)_$${_entry}";                                  \
    1.32  	    echo "    bool";                                                    \
    1.33  	    echo "    prompt \"$${entry}\"";                                    \
    1.34 -	    dep_val=$$($(grep) -E '^# depends on ' $${file} 2>/dev/null);       \
    1.35 -	    if [ -n "$${dep_val}" ]; then                                       \
    1.36 -	      echo "    $${dep_val#\# }";                                       \
    1.37 -	    fi;                                                                 \
    1.38 +	    sed -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;\
    1.39 +	    sed -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;    \
    1.40 +		echo "    help";                                                    \
    1.41 +	    sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null; \
    1.42 +	    echo "";                                                            \
    1.43  	    echo "if $(3)_$${_entry}";                                          \
    1.44  	    echo "source \"$${file}\"";                                         \
    1.45  	    echo "endif";                                                       \