File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -192,17 +192,15 @@ if [ -d "$FINN_XRT_PATH" ];then
192192fi
193193
194194if [ " $FINN_DOCKER_NO_CACHE " = " 1" ]; then
195- export NO_CACHE_STRING=" --no-cache"
196- else
197- export NO_CACHE_STRING=" "
195+ FINN_DOCKER_BUILD_EXTRA+=" --no-cache"
198196fi
199197
200198# Build the FINN Docker image
201199if [ " $FINN_DOCKER_PREBUILT " = " 0" ] && [ -z " $FINN_SINGULARITY " ]; then
202200 # Need to ensure this is done within the finn/ root folder:
203201 OLD_PWD=$( pwd)
204202 cd $SCRIPTPATH
205- docker build -f docker/Dockerfile.finn --build-arg XRT_DEB_VERSION=$XRT_DEB_VERSION --build-arg SKIP_XRT=$FINN_SKIP_XRT_DOWNLOAD --build-arg LOCAL_XRT=$LOCAL_XRT --tag=$FINN_DOCKER_TAG $FINN_DOCKER_BUILD_EXTRA $NO_CACHE_STRING .
203+ docker build -f docker/Dockerfile.finn --build-arg XRT_DEB_VERSION=$XRT_DEB_VERSION --build-arg SKIP_XRT=$FINN_SKIP_XRT_DOWNLOAD --build-arg LOCAL_XRT=$LOCAL_XRT --tag=$FINN_DOCKER_TAG $FINN_DOCKER_BUILD_EXTRA .
206204 cd $OLD_PWD
207205fi
208206
You can’t perform that action at this time.
0 commit comments