From cd76436097b9ddda76864af33c85aec9bab074a3 Mon Sep 17 00:00:00 2001
From: Chris Luke <chrisy@flirble.org>
Date: Mon, 29 May 2017 10:02:45 -0400
Subject: Relocate Coverity scripts

- Move Coverity scripts from build-root/scripts to extras/scripts
- Update coverity-build with new path and add some comments

Change-Id: I1be8069fb574aaacbac9b7f2c9c80b9aad1790ec
Signed-off-by: Chris Luke <chrisy@flirble.org>
---
 build-root/scripts/coverity-blame.sh | 36 ------------------------
 build-root/scripts/coverity-build.sh | 53 ------------------------------------
 2 files changed, 89 deletions(-)
 delete mode 100755 build-root/scripts/coverity-blame.sh
 delete mode 100755 build-root/scripts/coverity-build.sh

(limited to 'build-root/scripts')

diff --git a/build-root/scripts/coverity-blame.sh b/build-root/scripts/coverity-blame.sh
deleted file mode 100755
index 8775ea48d99..00000000000
--- a/build-root/scripts/coverity-blame.sh
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-
-# Read coverity email on stdin
-# whenever we find a filename & line number reference, go git-blame it
-
-file=
-start=
-end=
-
-while read line; do
-	if echo "$line" | grep -q '^/.*: '; then
-		echo "$line"
-		file=$(echo "$line" | cut -d: -f1)
-	elif echo "$line" | grep -q '^[*]'; then
-		echo "$line"
-		file=
-		start=
-		end=
-	elif echo "$line" | grep -q '^[0-9][0-9]*'; then
-		num=$(echo "$line" | awk '{print $1}')
-		[ -z "$start" ] && start=$num
-		#git blame -L "$num,+1" ".$file" | cat
-	elif [ -z "$line" ]; then
-		if [ "$start" -a "$num" -a "$file" ]; then
-			end=$num
-			git blame --date=short -L "$start,$end" ".$file" | cat
-			start=
-			end=
-			num=
-		else
-			echo "$line"
-		fi
-	else
-		echo "$line"
-	fi
-done
diff --git a/build-root/scripts/coverity-build.sh b/build-root/scripts/coverity-build.sh
deleted file mode 100755
index 6e2c405a16a..00000000000
--- a/build-root/scripts/coverity-build.sh
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/bin/bash
-
-set -ex
-
-token=${COVERITY_TOKEN}
-email=dbarach@cisco.com
-project="fd.io VPP"
-project_encoded="fd.io+VPP"
-url=https://scan.coverity.com
-
-export COV_HOST=$(hostname -f)
-export COV_USER=vpp
-
-# Location of various directories
-
-# run script from .../build-root
-
-build_dir=`pwd`
-covdir="${build_dir}/cov-int"
-COVTOOLS="${COVTOOLS-/scratch/cov-analysis-latest}"
-
-# Before we run the build, check that we can submit one
-check=$(curl -s --form project="${project}" \
-	--form token="${token}" "${url}/api/upload_permitted")
-if [ "${check}" = "Access denied" ]; then
-	echo "Bad token or project name."
-	exit 1
-fi
-if [ "${check}" != '{"upload_permitted":true}' ]; then
-	echo "Upload not permitted; stop now..."
-        exit 1
-fi
-
-version=$(git describe)
-
-# Run the build
-cd ..
-"${COVTOOLS}/bin/cov-build" --dir "${covdir}" make bootstrap build-coverity
-cd ${build_dir}
-
-# Tar the build artifacts that scan wants
-tar -czf fd.io-vpp.tgz "$(basename ${covdir})"
-# rm -rf "${covdir}"
-
-# Submit the build
-echo curl --form token="${token}" \
-	--form email="${email}" \
-	--form file=@fd.io-vpp.tgz \
-	--form version="${version}" \
-	--form description="master:${version}"  \
-	"${url}/builds?project=${project_encoded}"
-
-# All done!
-- 
cgit 1.2.3-korg