1 files changed, 0 insertions, 37 deletions
diff --git a/.pvs-studio.sh b/.pvs-studio.sh
deleted file mode 100644
index 9e9f0370c..000000000
--- a/.pvs-studio.sh
+++ /dev/null
@@ -1,37 +0,0 @@
-#!/bin/bash
-
-before_install() {
-  if [ "$PVS_ANALYZE" = "yes" ]; then
-    sudo wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add -
-    sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list
-    sudo apt-get update -qq
-    sudo apt-get install -qq pvs-studio
-  else
-    echo "not installing PVS-Studio"
-  fi
-}
-
-build_script() {
-  if [ "$PVS_ANALYZE" = "yes" ]; then
-    if [[ -z "${PVS_USERNAME}" ]]; then
-      echo '"PVS_USERNAME" environment variable not set'
-      exit 0
-    elif [[ -z "${PVS_KEY}" ]]; then
-      echo '"PVS_KEY" environment variable not set'
-      exit 0
-    else
-      pvs-studio-analyzer credentials -o "PVS-Studio.lic" "${PVS_USERNAME}" "${PVS_KEY}"
-      pvs-studio-analyzer trace -- make -j2
-      pvs-studio-analyzer analyze --quiet -j2 --lic-file "PVS-Studio.lic" --output-file "PVS-Studio-${CC}.log"
-      plog-converter -a "GA:1,2" -t tasklist -o "PVS-Studio-${CC}.tasks" "PVS-Studio-${CC}.log"
-      cat "PVS-Studio-${CC}.tasks"
-    fi
-  else
-    make -j2
-  fi
-}
-
-set -e
-set -x
-
-$1;