Thu, 15 Jul 2004 15:31:24 +0000 ladanyi Added new make target 'benchmark'.