From e03a4febd40df7c4a24daac296b78e2d5d30f3de Mon Sep 17 00:00:00 2001 From: hermandumas Date: Thu, 7 May 2026 21:49:30 -0700 Subject: [PATCH] fixed verific check error --- build_openroad.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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