diff --git a/run-docker.sh b/run-docker.sh index e1ccb2a2a1c3270a97ee044013b8a267c905b5a3..62ca70c2cbc80f28b12f0b0ff8f9139db0108271 100755 --- a/run-docker.sh +++ b/run-docker.sh @@ -83,7 +83,7 @@ echo "Using default PYNQ board $PYNQ_BOARD" if [ "$1" = "test" ]; then echo "Running test suite" - DOCKER_CMD="python setup.py test" + DOCKER_CMD="source ~/.bashrc; python setup.py test" elif [ "$1" = "notebook" ]; then echo "Running Jupyter notebook server" DOCKER_CMD="source ~/.bashrc; jupyter notebook --ip=0.0.0.0 --port $JUPYTER_PORT notebooks"