[patch] Benchmarks with profiling enabled

[Jules Bergmann]

This adds a new rule to create benchmarks with profiling enabled.  Then 
the --vsipl++-profile-foo command line options can be used to enable 
profiling.

Ok to apply?

				-- Jules
-- 
Jules Bergmann
CodeSourcery
jules at codesourcery.com
(650) 331-3385 x705
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: bmmf.diff
URL: <http://sourcerytools.com/pipermail/vsipl++/attachments/20080826/9aa0e54b/attachment.ksh>