diff --git a/run-docker.sh b/run-docker.sh index e3415c921e33f4fd33dc86954a0acefbe6b0769d..bafa145292e7e5b3e09ad27568540d24cf3508eb 100755 --- a/run-docker.sh +++ b/run-docker.sh @@ -74,7 +74,7 @@ docker build --tag=$DOCKER_TAG \ --build-arg PASSWD=$DOCKER_PASSWD \ . # Launch container with current directory mounted -docker run --rm --name finn_dev -it \ +docker run --rm --name finn_dev_$DOCKER_UNAME -it \ -e "XILINX_VIVADO=$VIVADO_PATH" \ -e "SHELL=/bin/bash" \ -v $SCRIPTPATH:/workspace/finn \