From: 오형석/동작제어Lab(SR)/Staff Engineer/삼성전자 <hseok82.oh@samsung.com>
Date: Thu, 1 Nov 2018 23:49:29 +0000 (+0900)
Subject: Remove deprecated coverity script (#3440)
X-Git-Tag: 0.3~484
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=2972fe431131ef17735bb1692c5ff58d494c56e4;p=platform%2Fcore%2Fml%2Fnnfw.git

Remove deprecated coverity script (#3440)

Remove deprecated coverity script (used nowhere)

Signed-off-by: Hyeongseok Oh <hseok82.oh@samsung.com>
---

diff --git a/scripts/command/run_coverity.sh b/scripts/command/run_coverity.sh
deleted file mode 100755
index 2c4f951..0000000
--- a/scripts/command/run_coverity.sh
+++ /dev/null
@@ -1,60 +0,0 @@
-#!/bin/bash
-
-# _COVERITY_USER,  _COVERITY_PASSWORD, _COVERITY_STREAM and COVERITY_SCRIPT_DOWNLOAD_URL should be defined.
-# XXX are used only in this script and  _XXX are used in Coverity script.
-if [ -z ${_COVERITY_STREAM+x} ]; then
-    echo "_COVERITY_STREAM is unset";
-    exit 1
-else
-    echo "_COVERITY_STREAM is set to '$_COVERITY_STREAM'";
-fi
-
-if [ -z ${_COVERITY_USER+x} ]; then
-    echo "_COVERITY_USER is unset";
-    exit 1
-else
-    echo "_COVERITY_USER is set to '$_COVERITY_USER'";
-fi
-
-if [ -z ${_COVERITY_PASSWORD+x} ]; then
-    echo "_COVERITY_PASSWORD is unset";
-    exit 1
-else
-    echo "_COVERITY_PASSWORD is set to '$_COVERITY_PASSWORD'";
-fi
-
-if [ -z ${COVERITY_SCRIPT_DOWNLOAD_URL+x} ]; then
-    echo "COVERITY_SCRIPT_DOWNLOAD_URL is unset";
-    exit 1
-else
-    echo "COVERITY_SCRIPT_DOWNLOAD_URL is set to '$COVERITY_SCRIPT_DOWNLOAD_URL'";
-fi
-
-#
-# Set variables required for Coverity script
-#
-
-SCRIPT_ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-HOST_HOME=$(readlink -f $SCRIPT_ROOT/../..)
-
-export _BUILD_PATH=$HOST_HOME
-export _RUN_COVERITY_ROOT=$_BUILD_PATH/ci_coverity
-mkdir -p $_RUN_COVERITY_ROOT
-
-export GBS_BUILDROOT=$_RUN_COVERITY_ROOT/GBS-ROOT/
-mkdir -p $GBS_BUILDROOT
-
-# Prepare gbs.conf for Coverity
-sed -- 's/^buildroot = .*/buildroot = '${GBS_BUILDROOT//\//\\/}'/' < $SCRIPT_ROOT/gbs.conf > $SCRIPT_ROOT/gbs_coverity.conf
-export _BUILD_CMD="gbs -c ${SCRIPT_ROOT}/gbs_coverity.conf build -A armv7l --profile=profile.tizen --clean-repo"
-export _PROD_LOCATION=$GBS_BUILDROOT/local/repos/tizen/armv7l/RPMS
-
-export _COVERITY_BINARY_DIR=$_RUN_COVERITY_ROOT/coverity-binary
-mkdir -p $_COVERITY_BINARY_DIR
-
-# Invoke Coverity script
-pushd $_RUN_COVERITY_ROOT
-wget $COVERITY_SCRIPT_DOWNLOAD_URL
-popd
-chmod +x $_RUN_COVERITY_ROOT/${COVERITY_SCRIPT_DOWNLOAD_URL##*/}
-$_RUN_COVERITY_ROOT/${COVERITY_SCRIPT_DOWNLOAD_URL##*/}