[m-rev.] for review: deep profiling.

[Fergus Henderson]

> > Index: server.m
> > ===================================================================
> 
> > +server(TimeOut, CreatePipes, Debug, Deep) -->
> > +	{ DataFileName = Deep ^ data_file_name },
> > +	{ InputPipe = to_server_pipe_name(DataFileName) },
> > +	{ OutputPipe = from_server_pipe_name(DataFileName) },
> > +	(
> > +		{ CreatePipes = yes },
> > +		{ format("mknod -m a=rw %s p", [s(InputPipe)],
> > +			MakeInputPipeCmd) },
> > +		{ format("mknod -m a=rw %s p", [s(OutputPipe)],
> > +			MakeOutputPipeCmd) },

"mknod" is not portable.
On some systems, you need to use "mkfifo" instead.
And some systems don't support either.

The Mercury configure.in script already has code to check for mkfifo
and mknod.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------