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 cbdc00390da93caf1f71f5978a118879fb86e91a..ecd35790dea58ef970f34da76a604259b8f03eb4 100755 (executable)
--- 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