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 9c3684e8d9d6504b4fe80aa7d8221d2fa7ebf72e..b8872f9c9ff0005ff1addc69ab888f7f0c0f0523 100755 (executable)
--- a/jenkins-scripts/system_type.sh
+++ b/jenkins-scripts/system_type.sh
@@ -19,7 +19,6 @@ for i in "java-builder,builder" \
          "docker,docker" \
          "gbp,ubuntu-docker-ovs" \
          "robot,robot" \
-         "ubuntu-trusty-mininet,mininet-ubuntu" \
          "mininet,mininet-ubuntu"
 do set -- $i
     if [[ $HOST == *"$1"* ]]; then