1
0
mirror of https://github.com/SoftEtherVPN/SoftEtherVPN.git synced 2025-07-18 13:44:58 +03:00

travis-ci: fix coverity build (broken since 20 Jul 2020)

This commit is contained in:
Ilya Shipitsin
2020-10-10 17:04:34 +05:00
parent 3cf23e58a3
commit 9e7d87bea6
2 changed files with 11 additions and 19 deletions

View File

@ -1,17 +0,0 @@
#!/bin/sh
set -eu
RUN_COVERITY="${RUN_COVERITY:-0}"
export COVERITY_SCAN_PROJECT_NAME="SoftEtherVPN/SoftEtherVPN"
export COVERITY_SCAN_BRANCH_PATTERN="master"
export COVERITY_SCAN_NOTIFICATION_EMAIL="chipitsine@gmail.com"
export COVERITY_SCAN_BUILD_COMMAND_PREPEND="./configure"
export COVERITY_SCAN_BUILD_COMMAND="make -C tmp"
if [ "${RUN_COVERITY}" = "1" ]; then
# Ignore exit code, script exits with 1 if we're not on the right branch
curl -s "https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh" | bash || true
else
echo "Skipping coverity scan because \$RUN_COVERITY != \"1\""
fi