Module Name:	basesrc
Committed By:	tv
Date:		Wed Oct 31 19:38:02 UTC 2001

Modified Files:
	basesrc/tools: Makefile

Log Message:
Don't actually delete the default tooldir on "cleandir"; else we'll nuke
the nbmake that is probably currently running.

Just leave the "cleantools" manual target as a shortcut for the user.


To generate a diff of this commit:
cvs rdiff -r1.12 -r1.13 basesrc/tools/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.