Lines Matching full:tools
14 # run the (closed-source) coverity build tools, so don't
32 # --dry-run : run the tools, but don't actually do the upload
36 # --update-tools-only : update the cached copy of the tools, but don't run them
37 # --no-update-tools : do not update the cached copy of the tools
54 # COVERITY_TOOL_BASE -- set to directory to put coverity tools
55 # (default: /tmp/coverity-tools)
115 # build docker container including the coverity-scan tools
117 # TODO: This re-unpacks the tools every time, rather than caching
127 # Check for whether we need to download the Coverity tools
134 echo "Checking for new version of coverity build tools..."
140 echo "Downloading coverity build tools..."
150 echo "Unpacking coverity build tools..."
183 --no-update-tools)
187 --update-tools-only)
287 echo "COVERITY_TOOL_BASE: using default /tmp/coverity-tools"
288 COVERITY_TOOL_BASE=/tmp/coverity-tools
298 # Just do the tools update; we don't need to check whether
303 echo --update-tools-only --docker is incompatible with --src-tarball.
370 ARGS="--no-update-tools"