# HG changeset patch
# User Titus von Boxberg <titus@v9g.de>
# Date 1309676910 -7200
# Node ID 7e191964d8f2345caf2409008234d2ecf107b8ed
# Parent  3b058d7049bf1ebeac46341f04cb094115a57c02
config/config.mk: call sed in the Right Way

calling sed as sed destroys portability.
call sed as $(sed) in makefiles before the build process is started.

diff -r 3b058d7049bf -r 7e191964d8f2 config/config.mk
--- a/config/config.mk	Tue Jun 28 00:52:33 2011 +0200
+++ b/config/config.mk	Sun Jul 03 09:08:30 2011 +0200
@@ -93,11 +93,11 @@
 	    if [ "$(5)" = "Y" ]; then                                           \
 	      echo "    depends on $(3)_$${_entry}_AVAILABLE";                  \
 	    fi;                                                                 \
-	    sed -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;\
-	    sed -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;    \
+	    $(sed) -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;     \
+	    $(sed) -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;         \
 	    if grep -E '^## help' $${file} >/dev/null 2>&1; then                        \
 	      echo "    help";                                                          \
-	      sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null;   \
+	      $(sed) -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null;\
 	    fi;                                                                         \
 	    echo "";                                                            \
 	  done;                                                                 \
@@ -154,11 +154,11 @@
 	    echo "menuconfig $(3)_$${_entry}";                                  \
 	    echo "    bool";                                                    \
 	    echo "    prompt \"$${entry}\"";                                    \
-	    sed -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;\
-	    sed -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;    \
+	    $(sed) -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;     \
+	    $(sed) -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;         \
 	    if grep -E '^## help' $${file} >/dev/null 2>&1; then                        \
 	      echo "    help";                                                          \
-	      sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null;   \
+	      $(sed) -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null;\
 	    fi;                                                                         \
 	    echo "";                                                            \
 	    echo "if $(3)_$${_entry}";                                          \