On Tue, Dec 08, 2009 at 09:12:26AM +0900, Masao Uebayashi wrote: > I wonder why we don't have ${TOOL_SH}. Because making our shell portable will probably be much harder than occasionally fixing some shell scripts. Kind regards -- Matthias Scheler http://zhadum.org.uk/