From fd0c541805a7b7415e01c1e0f01aaefa75168144 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Fri, 7 Feb 2020 15:00:02 +0100
Subject: [PATCH] [Docker] pass correct envvar as instance name

---
 run-docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-docker.sh b/run-docker.sh
index 4a6d8914e..45937e93d 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"
-- 
GitLab