[m-rev.] trivial diff: avoid bad command lines when re-configuring

[Julien Fischer]

Fix another problem with re-configuring.

configure.in:
 	Strip any site or system specific configuration scripts
 	in RECONFIGURE_ARGS.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.530
diff -u -r1.530 configure.in
--- configure.in	3 Nov 2008 11:56:17 -0000	1.530
+++ configure.in	3 Nov 2008 13:43:04 -0000
@@ -56,6 +56,9 @@
  # Strip out --no-create and --no-recursion added by config.status.
  # Remove any --prefix and --enable-reconfigure arguments passed by
  # mercury_config.
+# Strip out any site or system specific configuration files since their
+# presence when reconfiguring will result in the command line use to invoke
+# configure being invalid.
  # Also quote any args containing shell metacharacters.
  #
  # NOTE: Some macros, e.g. AC_CHECK_PROG, overwrite the argument list,
@@ -79,6 +82,8 @@
                  ;;
              --enable-reconfigure=*)
                  ;;
+            *config.site)
+                ;;
              *" "*|*"    "*|*[[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?]]*)
                  # The argument needs to be quoted.
                  RECONFIGURE_ARGS="$RECONFIGURE_ARGS '$arg'"

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------