From 5dcd63b59f1ca93974af4829ae6b258f26bf6a2f Mon Sep 17 00:00:00 2001 From: Scott Ullrich Date: Wed, 25 Mar 2009 18:57:31 -0400 Subject: [PATCH] Add missing then --- etc/rc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/rc b/etc/rc index de970ff21b..d06ea7c378 100755 --- a/etc/rc +++ b/etc/rc @@ -38,7 +38,7 @@ fi product=`/bin/cat /etc/inc/globals.inc | /usr/bin/grep product_name | /usr/bin/cut -d'"' -f4` hideplatform=`cat /etc/inc/globals.inc | grep hideplatform | cut -d'"' -f4` -if [ "$hideplatform" = "true" ]; +if [ "$hideplatform" = "true" ]; then platformbanner="" # hide the platform else platformbanner=" on the '${PLATFORM}' platform"