log TOOLS/Makefile @ 13262:b4df7cc59f34

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