[m-rev.] diff: $HOME

[Zoltan Somogyi]

Fix a problem with Simon's change to the tests.

tools/bootcheck:
	Set HOME to point to a nonexistent directory, to avoid mdb picking
	up an .mdbrc file from $HOME. If it did find and source such a file,
	the outputs of the test cases in tests/debugger could have unnecessary
	differences from the expected outputs.

	(The old runtests script in tests/debugger used to set HOME, but it
	isn't used anymore.)

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.134
diff -u -b -r1.134 bootcheck
--- bootcheck	2002/08/17 13:52:34	1.134
+++ bootcheck	2002/08/19 06:12:54
@@ -972,6 +972,12 @@
 	MERCURY_DEBUGGER_INIT=$root/scripts/test_mdbrc
 	export MERCURY_DEBUGGER_INIT
 
+	# Avoid picking up parameter settings from $HOME/.mdbrc that could
+	# cause spurious differences between the outputs of the debugger test
+	# cases and their expected outputs.
+	HOME=/nonexistent
+	export HOME
+
 	if test "$test_grade" != ""
 	then
 		test_grade_opt="GRADE=$test_grade"
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------