changeset 4109:76f746324590

if [ "$os" ] --> if [ x"$os" != x"" ]
author Doug Evans <dje@gnu.org>
date Fri, 16 Jul 1993 18:24:47 +0000
parents e4fbcd480455
children ccdff27edd2e
files config.sub
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/config.sub	Fri Jul 16 04:19:04 1993 +0000
+++ b/config.sub	Fri Jul 16 18:24:47 1993 +0000
@@ -495,7 +495,7 @@
 
 # Decode manufacturer-specific aliases for certain operating systems.
 
-if [ "$os" ]
+if [ x"$os" != x"" ]
 then
 case $os in
 	# -solaris* is a basic system type, with this one exception.