# HG changeset patch
# User Doug Evans <dje@gnu.org>
# Date 742847087 0
# Node ID 76f7463245906cad003dbc3c1f97a48411ecbc16
# Parent  e4fbcd480455f694bbf06c01ff2c38a064bc69c9
if [ "$os" ] --> if [ x"$os" != x"" ]

diff -r e4fbcd480455 -r 76f746324590 config.sub
--- 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.