diff options
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/rc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -38,9 +38,9 @@ if [ "$PLATFORM" = "pfSense" ]; then fi product=`cat /etc/inc/globals.inc | grep product_name | cut -d'"' -f4` -hideplatform=`cat /etc/inc/globals.inc | grep hideplatform | cut -d'"' -f4` +hideplatform=`cat /etc/inc/globals.inc | wc -l` -if [ "$hideplatform" = "true" ]; then +if [ "$hideplatform" -gt "0" ]; then platformbanner="" # hide the platform else platformbanner=" on the '${PLATFORM}' platform" |