1 files changed, 1 insertions, 1 deletions
diff --git a/etc/rc b/etc/rc
index 67e2ceb..bf0dc75 100755
--- a/etc/rc
+++ b/etc/rc
@@ -40,7 +40,7 @@ fi
 product=`cat /etc/inc/globals.inc | grep product_name | 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"