apb f46c1de7cb Use ${TOOL_SED} instead if plain sed in Makefiles.		2008-10-25 22:27:34 +00:00
..
arch	…
ppc	Use ${TOOL_SED} instead if plain sed in Makefiles.	2008-10-25 22:27:34 +00:00
psim	…
Makefile	…