Merge "Default generic mininet to mininet-ubuntu"

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

diff --git a/jenkins-scripts/system_type.sh b/jenkins-scripts/system_type.sh
index 75ed826619aeb9436af4b4b0fe9961c791bfef38..8b1e6a54107ba144ac6d397c2343e27327866be3 100755 (executable)
--- a/jenkins-scripts/system_type.sh
+++ b/jenkins-scripts/system_type.sh
@@ -21,7 +21,8 @@ for i in "autorelease,autorelease" \
          "ubuntu-trusty-gbp,ubuntu-docker-ovs" \
          "matrix,matrix" \
          "robot,robot" \
-         "ubuntu-trusty-mininet,mininet-ubuntu"
+         "ubuntu-trusty-mininet,mininet-ubuntu" \
+         "mininet,mininet-ubuntu"
 do set -- $i
     if [[ $HOST == *"$1"* ]]; then
         SYSTEM_TYPE="$2"