-v CONTROLLER_USER:${USER} \
-v JAVA_HOME:${JAVA_HOME} \
-v JDKVERSION:${JDKVERSION} \
+ -v JENKINS_WORKSPACE:${WORKSPACE} \
-v MININET1:${TOOLS_SYSTEM_2_IP} \
-v MININET2:${TOOLS_SYSTEM_3_IP} \
-v MININET3:${TOOLS_SYSTEM_4_IP} \
-v MININET_USER:${USER} \
-v NEXUSURL_PREFIX:${NEXUSURL_PREFIX} \
-v NUM_ODL_SYSTEM:${NUM_ODL_SYSTEM} \
+ -v NUM_TOOLS_SYSTEM:${NUM_TOOLS_SYSTEM} \
-v ODL_STREAM:${DISTROSTREAM} \
-v ODL_SYSTEM_1_IP:${ODL_SYSTEM_IP} \
-v ODL_SYSTEM_IP:${ODL_SYSTEM_IP} \
-v TOOLS_SYSTEM_USER:${USER} \
-v USER_HOME:${HOME} \
-v WORKSPACE:/tmp \
- -v JENKINS_WORKSPACE:${WORKSPACE} \
${TESTOPTIONS} ${SUITES} || true
echo "Examining the files in data/log and checking filesize"