[Docker] bring back Pynq-Z1 as default board to enable more testing

run-docker.sh

@@ -9,10 +9,6 @@ if [ -z "$PYNQ_IP" ];then
         echo "Please set the PYNQ_IP env.var. to enable PYNQ deployment tests."
 fi
 
-if [ -z "$PYNQ_BOARD" ];then
-        echo "Please set the PYNQ_BOARD env.var. to enable PYNQ deployment tests."
-fi
-
 DOCKER_GID=$(id -g)
 DOCKER_GNAME=$(id -gn)
 DOCKER_UNAME=$(id -un)
@@ -34,6 +30,7 @@ DOCKER_INST_NAME=$(echo "$DOCKER_INST_NAME" | tr '[:upper:]' '[:lower:]')
 : ${NETRON_PORT=8081}
 : ${PYNQ_USERNAME="xilinx"}
 : ${PYNQ_PASSWORD="xilinx"}
+: ${PYNQ_BOARD="Pynq-Z1"}
 : ${PYNQ_TARGET_DIR="/home/xilinx/$DOCKER_INST_NAME"}
 
 # Absolute path to this script, e.g. /home/user/bin/foo.sh