[m-rev.] for review: report real times in benchmarking.report_stats

[Julien Fischer]

On Mon, 7 Aug 2006, Peter Wang wrote:

> runtime/mercury_conf.h.in:
> 	Add MR_HAVE_TIME_H, MR_HAVE_GETTIMEOFDAY.
>
> 	Unrelated change: add MR_HAVE_PTHREAD_H.
>
I've committed the latter bit on the release branch as well.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------