[m-rev.] diff: fix deep_profiler install problem

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25
Branches: main

deep_profiler/Mmakefile:
    Don't install the deep_profiler in ENABLE_DEEP_PROFILER is no.

Index: deep_profiler/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/Mmakefile,v
retrieving revision 1.2
diff -u -r1.2 Mmakefile
--- deep_profiler/Mmakefile	2001/06/05 14:14:54	1.2
+++ deep_profiler/Mmakefile	2001/06/06 10:48:02
@@ -14,9 +14,11 @@
 ifeq ("$(ENABLE_DEEP_PROFILER)","yes")
 	MAIN_TARGET=mdprof_cgi mdprof_server
 	DEPEND=mdprof_cgi.depend mdprof_server.depend
+	INSTALL=install_deep
 else
 	MAIN_TARGET=nothing
 	DEPEND=nothing
+	INSTALL=nothing
 endif
 
 VPATH=$(LIBRARY_DIR)
@@ -138,7 +140,7 @@
 # Installation targets
 
 .PHONY: install
-install: install_deep
+install: $(INSTALL)
 
 .PHONY: install_deep
 install_deep: mdprof_cgi mdprof_server

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------