Lines Matching full:build
14 # run the (closed-source) coverity build tools, so don't
19 # build. (This is necessary so that the filenames that the Coverity
21 # regular expressions it uses; an out-of-tree build won't work for this.)
107 # Exit success as this isn't a build error.
115 # build docker container including the coverity-scan tools
120 tests/docker/docker.py --engine ${DOCKER_ENGINE} build \
134 echo "Checking for new version of coverity build tools..."
138 # out of date md5 or no md5: download new build tool
139 # blow away the old build tool
140 echo "Downloading coverity build tools..."
150 echo "Unpacking coverity build tools..."
344 # Otherwise, continue with the full build and upload process.
355 # we have read access to, and then pass it to docker build
399 if ! test -x "$TOOLBIN/cov-build"; then
400 echo "Couldn't find cov-build in the coverity build-tool directory??"
408 echo "Nuking build directory..."
409 rm -rf +build
410 mkdir +build
411 cd +build
415 # accidentally reduce the scope of the analysis by doing the build on
416 # the system that's missing a dependency that we need to build part of
433 echo "Running cov-build..."
436 cov-build --dir cov-int $COVERITY_BUILD_CMD