1.1 --- a/config/config.mk Tue May 31 16:27:39 2011 +0200
1.2 +++ b/config/config.mk Sun Jul 03 09:08:30 2011 +0200
1.3 @@ -93,11 +93,11 @@
1.4 if [ "$(5)" = "Y" ]; then \
1.5 echo " depends on $(3)_$${_entry}_AVAILABLE"; \
1.6 fi; \
1.7 - sed -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null;\
1.8 - sed -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \
1.9 + $(sed) -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null; \
1.10 + $(sed) -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \
1.11 if grep -E '^## help' $${file} >/dev/null 2>&1; then \
1.12 echo " help"; \
1.13 - sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \
1.14 + $(sed) -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null;\
1.15 fi; \
1.16 echo ""; \
1.17 done; \
1.18 @@ -154,11 +154,11 @@
1.19 echo "menuconfig $(3)_$${_entry}"; \
1.20 echo " bool"; \
1.21 echo " prompt \"$${entry}\""; \
1.22 - sed -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null;\
1.23 - sed -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \
1.24 + $(sed) -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null; \
1.25 + $(sed) -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \
1.26 if grep -E '^## help' $${file} >/dev/null 2>&1; then \
1.27 echo " help"; \
1.28 - sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \
1.29 + $(sed) -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null;\
1.30 fi; \
1.31 echo ""; \
1.32 echo "if $(3)_$${_entry}"; \