diff --git a/build_openroad.sh b/build_openroad.sh index dd4fbbe169..7f622f0ad9 100755 --- a/build_openroad.sh +++ b/build_openroad.sh @@ -238,7 +238,7 @@ __docker_build() sed -i '/flow\/platforms/d' .dockerignore fi options="" - if [ -n "${WITH_VERIFIC}" ]; then + if [ ${WITH_VERIFIC} -eq 1 ]; then cp -r "${VERIFIC_SRC}" tools/verific options="-buildArgs=--build-arg verificPath=tools/verific" fi