[m-rev.] diff: $HOME
Zoltan Somogyi
zs at cs.mu.OZ.AU
Tue Aug 20 11:42:43 AEST 2002
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
--------------------------------------------------------------------------
More information about the reviews
mailing list