diff options
| author | dj <dj@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-05 22:00:22 +0000 |
|---|---|---|
| committer | dj <dj@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-05 22:00:22 +0000 |
| commit | 1b544a8d5707169c42fe401c7f83fe019b6452a0 (patch) | |
| tree | 411c1f73b735bc19cf7f3cf410e7c47c0055bf8c /gcc/configure | |
| parent | 232309ab04c1a4019be1126692f8bee8c4c2ae07 (diff) | |
| download | gcc-1b544a8d5707169c42fe401c7f83fe019b6452a0.tar.gz | |
* configure.in: Quote $enable_win32_registry in case the value has
spaces in it.
* configure: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@42920 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/configure')
| -rwxr-xr-x | gcc/configure | 6 |
1 files changed, 3 insertions, 3 deletions
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 <<EOF |