From 446ffdbdfd83bcb2d5369fb844dfd7def6c20954 Mon Sep 17 00:00:00 2001 From: Scott Ullrich Date: Thu, 2 Apr 2009 21:20:35 -0400 Subject: [PATCH] Add missing space --- etc/rc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/rc b/etc/rc index db44a7a4f5..5ebc9d2f57 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 | wc -l` -if [ "$hideplatform" -gt "0"]; then +if [ "$hideplatform" -gt "0" ]; then platformbanner="" # hide the platform else platformbanner=" on the '${PLATFORM}' platform"