[m-rev.] trivial diff: install mdprof_cgi in correct directory on aral

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tools/test_mercury:
	Install the deep profiling CGI script in the correct location
	on aral.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.251
diff -u -r1.251 test_mercury
--- test_mercury	2 May 2005 06:54:15 -0000	1.251
+++ test_mercury	21 Jun 2005 06:32:21 -0000
@@ -527,6 +527,7 @@
 		INSTALL_LIBGRADES="asm_fast.gc asm_fast.gc.debug.tr \
 			asm_fast.gc.mmsc asm_fast.gc.mm.debug \
 			asm_fast.gc.profdeep hlc.gc"
+		CONFIG_OPTS="--enable-deep-profiler=/var/www/cgi-bin"
 		;;
 	*)
 		CONFIG_OPTS="" ;;

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