Fix ubuntu mininet script name

Change-Id: Ic393e59437f0b8fc5129ae5b1b514ae9ab5b3874
Signed-off-by: Thanh Ha <thanh.ha@linuxfoundation.org>

diff --git a/jenkins-scripts/system_type.sh b/jenkins-scripts/system_type.sh
index 73160a363c1db78737cbe7b7fa58b46c0f3b08f5..d5f9e9b3c53641252635ea1422d19fc7753926dd 100755 (executable)
--- a/jenkins-scripts/system_type.sh
+++ b/jenkins-scripts/system_type.sh
@@ -21,7 +21,7 @@ for i in "autorelease,autorelease" \
          "java,controller" \
          "matrix,matrix" \
          "robot,robot" \
-         "ubuntu-trusty-mininet,ubuntu-mininet"
+         "ubuntu-trusty-mininet,mininet-ubuntu"
 do set -- $i
     if [[ $HOST == *"$1"* ]]; then
         SYSTEM_TYPE="$2"