if [ "$os" ] --> if [ x"$os" != x"" ]
authordje <dje>
Fri, 16 Jul 1993 18:24:47 +0000 (18:24 +0000)
committerdje <dje>
Fri, 16 Jul 1993 18:24:47 +0000 (18:24 +0000)
commitfc24605b4a033aaace054562b4861be3514013d8
tree4c49ce818b28979b479232c1c0d5d3c1af2850cd
parentd9fd47ce2181d2dbb352074d5a60d1fe1bff771f
if [ "$os" ] --> if [ x"$os" != x"" ]
config.sub