Patch to configure.in to replace previously submited configure patch

[Pascal Obry]

Please find at the end of this message the patch equivalent to the one sent
yesterday for configure tool. This is the proper patch as configure is
generated from configure.in.

This patch is not tested as I do not have a running autoconf on my Win2K box.

<<
*** configure.in.orig Tue Jun  5 11:00:00 2001
--- configure.in Tue Jun  5 11:04:56 2001
***************
*** 939,945 ****
  case $host_os in
  	win32 | pe | cygwin* | mingw32* | uwin*)
  AC_MSG_CHECKING(whether windows registry support is requested)
! if test x$enable_win32_registry != xno; then
    AC_DEFINE(ENABLE_WIN32_REGISTRY, 1,
  [Define to 1 if installation paths should be looked up in Windows32
     Registry. Ignored on non windows32 hosts.])
--- 939,945 ----
  case $host_os in
  	win32 | pe | cygwin* | mingw32* | uwin*)
  AC_MSG_CHECKING(whether windows registry support is requested)
! if test "x$enable_win32_registry" != "xno"; then
    AC_DEFINE(ENABLE_WIN32_REGISTRY, 1,
  [Define to 1 if installation paths should be looked up in Windows32
     Registry. Ignored on non windows32 hosts.])
***************
*** 950,961 ****
  fi
  
  # Check if user specified a different registry key.
! case x${enable_win32_registry} in
! x | xyes)
    # default.
    gcc_cv_win32_registry_key="$VERSION"
    ;;
! xno)
    # no registry lookup.
    gcc_cv_win32_registry_key=''
    ;;
--- 950,961 ----
  fi
  
  # Check if user specified a different registry key.
! case "x${enable_win32_registry}" in
! "x" | "xyes")
    # default.
    gcc_cv_win32_registry_key="$VERSION"
    ;;
! "xno")
    # no registry lookup.
    gcc_cv_win32_registry_key=''
    ;;
***************
*** 965,971 ****
    ;;
  esac
  
! if test x$enable_win32_registry != xno; then
    AC_MSG_CHECKING(registry key on windows hosts)
    AC_DEFINE_UNQUOTED(WIN32_REGISTRY_KEY, "$gcc_cv_win32_registry_key",
  	[Define to be the last portion of registry key on windows hosts.])
--- 965,971 ----
    ;;
  esac
  
! if test "x$enable_win32_registry" != "xno"; then
    AC_MSG_CHECKING(registry key on windows hosts)
    AC_DEFINE_UNQUOTED(WIN32_REGISTRY_KEY, "$gcc_cv_win32_registry_key",
  	[Define to be the last portion of registry key on windows hosts.])
>>

Pascal Obry.
Ada Core Technologies.