[m-dev.] For review: a change in MR_trace_event_external()

[Erwan Jahier]

Fergus Henderson wrote:
> 
> Erwan Jahier, you wrote:
> >
> > This one is for Zoltan or Fergus.
> >
> > This change undo a change made by Zoltan quite a long time ago.
> >
> > runtime/mercury_trace.c:
> > runtime/mercury_trace_external.c:
> > runtime/mercury_trace_external.c:
> >       Add "MR_trace_cmd_info *cmd" in argument of MR_trace_event_external().
> 
> What's the rationale for this change?

cmd is needed (and has always been) is MR_trace_event_external() (c.f.
case debugger_request_type = MR_REQUEST_NO_TRACE).
-- 
R1.