[patch] char/ds script updates

[Jules Bergmann]

Minor updates to allow extra arguments to be passed to benchmarks (such 
as --cml-num-spes) and to pretty print large times per call and times 
per point.

Patch applied.

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