diff options
Diffstat (limited to 'etc/configure')
| -rwxr-xr-x | etc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/configure b/etc/configure index ce51008ac83..55c701a511c 100755 --- a/etc/configure +++ b/etc/configure @@ -623,7 +623,7 @@ EOF # Ultrix sh set writes to stderr and can't be redirected directly, # and sets the high bit in the cache file unless we assign to the vars. (set) 2>&1 | - case `(ac_space=' '; set) 2>&1` in + case `(ac_space=' '; set) 2>&1 | grep ac_space` in *ac_space=\ *) # `set' does not quote correctly, so add quotes (double-quote substitution # turns \\\\ into \\, and sed turns \\ into \). |