Skip to content

Commit 96c22f8

Browse files
authored
Merge pull request #2968 from The-OpenROAD-Project-private/coverity-skip
etc: add var to skip coverity upload
2 parents d6e9865 + abc0a1c commit 96c22f8

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

etc/CodeCoverage.sh

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -59,6 +59,11 @@ _coverity() {
5959
tar czvf openroad.tgz cov-int
6060
commitSha="$(git rev-parse HEAD)"
6161

62+
if [ -n "${SKIP_COVERITY_UPLOAD+x}" ]; then
63+
echo "SKIP_COVERITY_UPLOAD is set. Skipping Coverity upload."
64+
exit 0
65+
fi
66+
6267
# Step 1: Initialize a build. Fetch a cloud upload url.
6368
curl -X POST \
6469
-d version="version=${commitSha}" \

0 commit comments

Comments
 (0)