diff -r d1a8c2ae7946 -r 7e191964d8f2 config/config.mk
--- a/config/config.mk	Tue May 31 16:27:39 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}";                                          \