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"