CI: Remove p4plugin jobs and config

[releng/builder.git] / jenkins-init-scripts / system_type.sh

diff --git a/jenkins-init-scripts/system_type.sh b/jenkins-init-scripts/system_type.sh
index 897e694db520f5f27287442f9d498dec017d024d..c5b141afd47d859d9384915f0247f905c0bd2748 100755 (executable)
--- a/jenkins-init-scripts/system_type.sh
+++ b/jenkins-init-scripts/system_type.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # SPDX-License-Identifier: EPL-1.0
 ##############################################################################
 # Copyright (c) 2016 The Linux Foundation and others.
@@ -22,7 +22,7 @@ for i in "java-builder,builder" \
          "robot,robot" \
          "mininet,mininet-ubuntu"
 do set -- $i
-    if expr $HOST : ".*$1.*" ; then
+    if [[ $HOST == *"$1"* ]]; then
         SYSTEM_TYPE="$2"
         break
     fi