Searched refs:TOOL_BASE (Results 1 – 2 of 2) sorted by relevance
17 TOOL_BASE="${TOOL_BASE:-/tmp/coverity-scan-analysis}"25 if [ ! -d "$TOOL_BASE" ]; then34 mkdir -p "$TOOL_BASE"35 pushd "$TOOL_BASE"40 echo -e "\033[33;1mCoverity Scan Analysis Tool can be found at $TOOL_BASE ...\033[0m"
15 TOOL_BASE=${TOOL_BASE:="/tmp/coverity-scan-analysis"}50 TOOL_DIR=`find $TOOL_BASE -type d -name 'cov-analysis*'`