From: Sage Weil <sage@inktank.com>
Date: Sat, 31 May 2014 15:13:48 +0000 (-0700)
Subject: scripts/run-coverity: don't explicitly specify tool version
X-Git-Tag: v0.82~16
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=9bac31be07098f4c75a209e35dc91b214b72a394;p=ceph.git

scripts/run-coverity: don't explicitly specify tool version

Rely on a symlink instead.

Signed-off-by: Sage Weil <sage@inktank.com>
---

diff --git a/src/script/run-coverity b/src/script/run-coverity
index cbdc00390da..ecd35790dea 100755
--- a/src/script/run-coverity
+++ b/src/script/run-coverity
@@ -3,7 +3,7 @@
 branch="$1"
 if [ -z "$branch" ]; then branch="master"; fi
 
-export COVDIR="$HOME/cov-analysis-linux64-6.0.2"
+export COVDIR="$HOME/cov-analysis"
 if [ ! -d "$COVDIR" ]; then
     echo "missing $COVDIR; get that from coverity!"
     exit 1