[m-rev.] diff: configure.in: fix DEFAULT_GRADE regression

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

configure.in:
	Fix an accidental regression in my previous change:
	allow users to override configure's choice of the default
	grade by setting "DEFAULT_GRADE" in the environment before
	invoking configure.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.322
diff -u -d -r1.322 configure.in
--- configure.in	7 Oct 2002 04:25:30 -0000	1.322
+++ configure.in	10 Oct 2002 13:43:39 -0000
@@ -1982,8 +1982,11 @@
 # DEFAULT_GRADE is the default grade used to compile applications.
 # This is the same as DEFAULT_BASE_GRADE except that we also want to
 # enable conservative garbage collection by default.
-
-DEFAULT_GRADE=$DEFAULT_BASE_GRADE.gc
+# We also allow users to override the default grade by setting
+# "DEFAULT_GRADE" in the environment before invoking configure.
+if test "$DEFAULT_GRADE" = ""; then
+	DEFAULT_GRADE=$DEFAULT_BASE_GRADE.gc
+fi
 
 MERCURY_MSG("using grade \`$DEFAULT_GRADE' as the default grade for applications")
 AC_SUBST(DEFAULT_GRADE)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------