diff --git a/run-docker.sh b/run-docker.sh index 4a6d8914e396dd6756da7d482d4673848be7e201..45937e93d7b5059cde5cd87afb3c966815ccc4ec 100755 --- a/run-docker.sh +++ b/run-docker.sh @@ -96,6 +96,6 @@ docker run -t --rm --name $DOCKER_INST_NAME -it \ -v $BUILD_LOCAL:$BUILD_LOCAL \ -v $VIVADO_PATH:$VIVADO_PATH \ -e VIVADO_PATH=$VIVADO_PATH \ --e FINN_INST_NAME=$DOCKER_TAG \ +-e FINN_INST_NAME=$DOCKER_INST_NAME \ -p $JUPYTER_PORT:$JUPYTER_PORT \ $DOCKER_TAG bash -c "$DOCKER_CMD"