From 07435e83d55cbb4516eaae1b69a0b66cf0b4d005 Mon Sep 17 00:00:00 2001 From: Fergus Henderson Date: Tue, 3 Dec 2002 08:51:26 +0000 Subject: [PATCH] Fix a bug: don't try to include mdprof_cgi in the binary 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. --- bindist/Mmakefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/bindist/Mmakefile b/bindist/Mmakefile index 0c820aec3..772837227 100644 --- a/bindist/Mmakefile +++ b/bindist/Mmakefile @@ -76,7 +76,11 @@ binary_distribution: bindist.configure bindist.build_vars 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)