[m-dev.] diff: move the initialisation of MR_mmc_options in MR_trace_event_external()

[Andrew Bromage]

G'day all.

Fergus Henderson wrote:

> 	static bool MR_mmc_options_initialized = FALSE;
> 	if (!MR_mmc_options_initialized) {
> 		... initialization goes here ...
> 		MR_mmc_options_initialized = TRUE;
> 	}

This code isn't thread-safe for obvious reasons.  Does that make a
difference?

Cheers,
Andrew Bromage
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------