[m-rev.] diff: deep profiler

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main, release

bindist/Mmakefile:
	Fix a bug: don't try to include mdprof_cgi in the binary
	distribution if the deep profiler was not enabled.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/bindist/Mmakefile,v
retrieving revision 1.34.2.2
diff -u -d -u -r1.34.2.2 Mmakefile
--- Mmakefile	2002/12/02 11:54:27	1.34.2.2
+++ Mmakefile	2002/12/03 08:49:03
@@ -76,7 +76,11 @@
 	test -d $(MERCURY_VERSION)/util || mkdir $(MERCURY_VERSION)/util
 	cp $(UTILS) $(MERCURY_VERSION)/util
 	test -d $(MERCURY_VERSION)/cgi || mkdir $(MERCURY_VERSION)/cgi
-	cp $(CGI_PROG) $(MERCURY_VERSION)/cgi
+	if test "$(ENABLE_DEEP_PROFILER)" = "yes"; then		\
+		cp $(CGI_PROG) $(MERCURY_VERSION)/cgi;		\
+	else							\
+		true;						\
+	fi
 	test -d $(MERCURY_VERSION)/vim || mkdir $(MERCURY_VERSION)/vim
 	cp -R $(VIM_FILES) $(MERCURY_VERSION)/vim
 	cp $(CONFIG_FILES) $(MERCURY_VERSION)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------