[m-rev.] trivial diff: test_mercury

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	More minor changes to test_mercury. The script
	run nightly is now the same as the one in the
	CVS repository.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.168
diff -u -u -r1.168 test_mercury
--- test_mercury	7 Nov 2001 16:48:47 -0000	1.168
+++ test_mercury	7 Nov 2001 17:04:11 -0000
@@ -20,6 +20,7 @@
 PATH="/home/$HOST/public/mercury-latest/$FULLARCH/bin:$PATH"
 PATH="/home/mercury/public/gcc-2.7.2/$FULLARCH/bin:$PATH"
 PATH="/home/mercury/public/egcs-1.1b/$FULLARCH/bin:$PATH"
+PATH="/home/mercury/public/autoconf-2.13/$FULLARCH/bin:$PATH"
 PATH="/home/mercury/public/autoconf-2.52/$FULLARCH/bin:$PATH"
 PATH="/home/mercury/public/$FULLARCH:$PATH"
 PATH="/home/mercury/public/$HOST:$PATH"
@@ -122,8 +123,7 @@
 	earth)	
 			case $BRANCH in
 			    latest)
-				OPTIMIZE="-O5 --intermodule-optimization \
-						--constraint-propagation"
+				OPTIMIZE="-O5 --intermodule-optimization --constraint-propagation"
 				;;
 
 			    0.10)
@@ -135,8 +135,7 @@
 				# and `--deforestation'.
 				# `--constraint-propagation' does not
 				# work on the release branch.
-				OPTIMIZE="-O5 --intermodule-optimization \
-						--no-deforestation"
+				OPTIMIZE="-O5 --intermodule-optimization --no-deforestation"
 				;;
 			esac
 			;;
@@ -455,6 +454,7 @@
 		date
 		# Link the Mercury gcc back-end interface sources
 		# into the appropriate place in the gcc sources
+		pwd
 		(cd gcc/gcc && rm -f mercury && \
 			ln -s ../../mercury-cvs/gcc/mercury mercury) \
 			|| { false; exit 1; }
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------