From: Doug Evans <dje@gnu.org>
Date: Fri, 16 Jul 1993 18:24:47 +0000 (+0000)
Subject: if [ "$os" ] --> if [ x"$os" != x"" ]
X-Git-Tag: Release-0-25~545
X-Git-Url: https://sourceware.org/git/?a=commitdiff_plain;h=23c3c244659528dc845d96f25200ec7bb12bae67;p=automake.git

if [ "$os" ] --> if [ x"$os" != x"" ]
---

diff --git a/config.sub b/config.sub
index 9abec11c..b79ce98a 100644
--- a/config.sub
+++ b/config.sub
@@ -495,7 +495,7 @@ esac
 
 # 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.
diff --git a/lib/config.sub b/lib/config.sub
index 9abec11c..b79ce98a 100644
--- a/lib/config.sub
+++ b/lib/config.sub
@@ -495,7 +495,7 @@ esac
 
 # 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.