Merge "Update CentOS7 images for change 56476"

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

diff --git a/jenkins-scripts/system_type.sh b/jenkins-scripts/system_type.sh
index 58effaebc83be372a133865b652a9ae597616a86..b8872f9c9ff0005ff1addc69ab888f7f0c0f0523 100755 (executable)
--- a/jenkins-scripts/system_type.sh
+++ b/jenkins-scripts/system_type.sh
@@ -14,14 +14,11 @@ HOST=$(/bin/hostname)
 SYSTEM_TYPE=''
 
 IFS=','
-for i in "autorelease,autorelease" \
-         "java-builder,builder" \
+for i in "java-builder,builder" \
          "devstack,devstack" \
          "docker,docker" \
          "gbp,ubuntu-docker-ovs" \
-         "matrix,matrix" \
          "robot,robot" \
-         "ubuntu-trusty-mininet,mininet-ubuntu" \
          "mininet,mininet-ubuntu"
 do set -- $i
     if [[ $HOST == *"$1"* ]]; then