[vsipl++] [patch] fixes for profile timer 'realtime' option

[Don McCoy]

Jules Bergmann wrote:

> This looks good, please check it in
>
> Instead of duplicating functionality for std::cout in dump(), can you 
> change dump(char* filename, char mode) to special case the filename 
> '-'?  Something like:

Eliminated the duplicate dump() function as "/dev/stdout" covers that case.


Checked in.

-- 
Don McCoy
CodeSourcery 

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: pt2.diff
URL: <http://sourcerytools.com/pipermail/vsipl++/attachments/20060223/fe9d3446/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: pt.changes
URL: <http://sourcerytools.com/pipermail/vsipl++/attachments/20060223/fe9d3446/attachment-0001.ksh>