From 9dd53f2c1b3ca1aac698c864422ac8d0d2c42d84 Mon Sep 17 00:00:00 2001 From: Pascal Obry Date: Wed, 6 Jun 2001 00:00:22 +0200 Subject: [PATCH] configure.in: Quote $enable_win32_registry in case the value has spaces in it. * configure.in: Quote $enable_win32_registry in case the value has spaces in it. * configure: Ditto. From-SVN: r42920 --- gcc/ChangeLog | 6 ++++++ gcc/configure | 6 +++--- gcc/configure.in | 6 +++--- 3 files changed, 12 insertions(+), 6 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 62a19b7d281..8fea68aca44 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2001-06-05 Pascal Obry + + * configure.in: Quote $enable_win32_registry in case the value has + spaces in it. + * configure: Ditto. + 2001-06-05 Mark Mitchell * print-rtl.c (xspaces): Remove. diff --git a/gcc/configure b/gcc/configure index d39c73a356b..12cd174b979 100755 --- a/gcc/configure +++ b/gcc/configure @@ -6398,7 +6398,7 @@ case $host_os in win32 | pe | cygwin* | mingw32* | uwin*) echo $ac_n "checking whether windows registry support is requested""... $ac_c" 1>&6 echo "configure:6401: checking whether windows registry support is requested" >&5 -if test x$enable_win32_registry != xno; then +if test "x$enable_win32_registry" != xno; then cat >> confdefs.h <<\EOF #define ENABLE_WIN32_REGISTRY 1 EOF @@ -6471,7 +6471,7 @@ else fi # Check if user specified a different registry key. -case x${enable_win32_registry} in +case "x${enable_win32_registry}" in x | xyes) # default. gcc_cv_win32_registry_key="$VERSION" @@ -6486,7 +6486,7 @@ xno) ;; esac -if test x$enable_win32_registry != xno; then +if test "x$enable_win32_registry" != xno; then echo $ac_n "checking registry key on windows hosts""... $ac_c" 1>&6 echo "configure:6492: checking registry key on windows hosts" >&5 cat >> confdefs.h <