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.
This commit is contained in:
Fergus Henderson
2002-12-03 08:51:26 +00:00
parent fe21ffe105
commit 07435e83d5

View File

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