[m-dev.] diff: fix bug with --disable-extern-debug

[Fergus Henderson]

Sorry, I omitted part of the diff from my previous mail.
I've added it at the end of this mail.

On 08-Jun-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.25
> 
> trace/mercury_trace_browse.h:
> trace/mercury_trace_browse.c:
> 	Put MR_trace_query_external() inside `#ifdef MR_USE_EXTERNAL_DEBUGGER',
> 	because it gets a compile error unless that flag is set.
> 
> Workspace: /home/mercury0/fjh/mercury-other
> Index: trace/mercury_trace_browse.c
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_browse.c,v
> retrieving revision 1.6
> diff -u -r1.6 mercury_trace_browse.c
> --- mercury_trace_browse.c	1999/06/03 23:59:50	1.6
> +++ mercury_trace_browse.c	1999/06/07 21:41:14
> @@ -160,6 +160,8 @@
>  	);
>  }
>  
> +#ifdef MR_USE_EXTERNAL_DEBUGGER
> +
>  void
>  MR_trace_query_external(MR_Query_Type type, String options, int num_imports,
>  	Word imports_list)
> @@ -170,3 +172,5 @@
>  			(Word) &MR_debugger_socket_out);
>  	);
>  }
> +
> +#endif

Index: mercury_trace_browse.h
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_browse.h,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -u -r1.5 -r1.6
--- mercury_trace_browse.h	1999/06/03 23:59:51	1.5
+++ mercury_trace_browse.h	1999/06/07 21:49:26	1.6
@@ -38,7 +38,9 @@
 extern	void	MR_trace_query(MR_Query_Type type, const char *options,
 			int num_imports, /* const */ char *imports[]);
 
+#ifdef MR_USE_EXTERNAL_DEBUGGER
 extern	void	MR_trace_query_external(MR_Query_Type type, String options,
 			int num_imports, Word imports_list);
+#endif
 
 #endif	/* MERCURY_TRACE_BROWSE_H */
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------