[m-rev.] diff: fix a problem in the configure script

[Julien Fischer]

Branches: 11.07, main

configure.in:
 	Fix a spot where we were incorrectly switching on
 	the wrong variable.

 	Delete an out-of-date comment.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.589
diff -u -r1.589 configure.in
--- configure.in	14 Sep 2011 04:39:24 -0000	1.589
+++ configure.in	15 Sep 2011 13:23:30 -0000
@@ -4448,9 +4448,7 @@
  # Note that changes here may require changes in scripts/mgnuc.in and
  # compiler/compile_target_code.m.

-# AC_PROG_CC sets GCC to yes if $CC is GNU C.
-
-case "$C_COMPILER_TYPE" in
+case "$mercury_cv_cc_type" in

      gcc*)
          CFLAGS_FOR_ANSI="-ansi"

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------