-#!/bin/bash
+#!/bin/sh
# SPDX-License-Identifier: EPL-1.0
##############################################################################
# Copyright (c) 2016 The Linux Foundation and others.
"robot,robot" \
"mininet,mininet-ubuntu"
do set -- $i
- if [[ $HOST == *"$1"* ]]; then
+ if expr $HOST : ".*$1.*" ; then
SYSTEM_TYPE="$2"
break
fi