diff --git a/run-docker.sh b/run-docker.sh index f80e9431ad16b7ff8f116da35067ec114c529978..8e7785b4579c504ca15d0a9c0c430a126c82942e 100755 --- a/run-docker.sh +++ b/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