Skip to content
Snippets Groups Projects
Commit 27ad3c8a authored by Yaman Umuroglu's avatar Yaman Umuroglu
Browse files

[Infra] let user pass extra args to Docker launch

parent b206b6fb
No related branches found
No related tags found
No related merge requests found
......@@ -103,9 +103,10 @@ SCRIPTPATH=$(dirname "$SCRIPT")
: ${XILINX_XRT="/opt/xilinx/xrt"}
: ${PLATFORM_REPO_PATHS="/opt/xilinx/platforms"}
: ${FINN_HOST_BUILD_DIR="/tmp/$DOCKER_INST_NAME"}
: ${FINN_DOCKER_EXTRA=""}
DOCKER_INTERACTIVE=""
DOCKER_EXTRA=""
DOCKER_EXTRA="$FINN_DOCKER_EXTRA "
if [ "$1" = "test" ]; then
gecho "Running test suite (all tests)"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment