log TOOLS/Makefile @ 13472:c85ea936d411

age author description
Thu, 05 Aug 2004 00:11:54 +0000 diego Makefile replacement for compile script