[m-rev.] diff: fix configure bug

[Zoltan Somogyi]

configure.in:
	Fix a bug: --disable-hlc-prof-grades used to *enable* those grades.

Zoltan.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.310
diff -u -b -r1.310 configure.in
--- configure.in	2002/06/14 10:18:43	1.310
+++ configure.in	2002/07/04 03:34:04
@@ -2033,7 +2033,7 @@
 AC_ARG_ENABLE(hlc-prof-grades,
 [  --enable-hlc-prof-grades
                           install profiling versions of the high level C grade],
-enable_hlc_prof_grades=yes,enable_hlc_prof_grades=no)
+enable_hlc_prof_grades="$enableval",enable_hlc_prof_grades=no)
 
 AC_ARG_ENABLE(dotnet-grades,
 [  --disable-dotnet-grades do not install the .NET grades],
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------