[patch] fixes for profile timer 'realtime' option

[Don McCoy]

The attached patch fixes a minor problem with 
--enable-profile-timer=realtime.  This option uses the function 
clock_gettime(), which operates on a timespec structure instead of a 
simple type like time_t.  This caused problems where the underlying type 
'stamp_type' was treated as an integer.

Note: Tested with ghs and gcc.  On RHEL, the options 
CXXFLAGS=-D_POSIX_C_SOURCE=199309L LDFLAGS=-lrt are needed to include 
the correct header definitions and link to the correct library.  These 
options are not needed with the ghs compiler.  Should these be 
incorporated into the configuration script, or is it better to require 
they be provided explicitly?

Regards,

-- 
Don McCoy
CodeSourcery 

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