I just came across the problem that a RM command in a Makefile would not
delete a file since the user was lacking write permissions to it. The
file had been unpacked from a downloaded archive and was probably stored
there without the user write permissons bit set.
To deal with such issues I propose to add a -f to the TOOLS_PLATFORM.rm
definition in mk/tools/tools.*.mk.
What do others think?

-- 
Georg Schwarz    http://home.pages.de/~schwarz/
 georg.schwarz@freenet.de  +49 178 8545053