diff options
| -rwxr-xr-x | scripts/pvscheck.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index 11b672c515..bf523b023a 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -8,6 +8,10 @@ set -e # arguments provided. test -z "$POSH_VERSION" && set -u +log_info() { + >&2 printf "pvscheck.sh: %s\n" "$@" +} + get_jobs_num() { if [ -n "${TRAVIS:-}" ] ; then # HACK: /proc/cpuinfo on Travis CI is misleading, so hardcode 1. @@ -261,6 +265,11 @@ install_pvs() {( cd "$tgt" + if test -d pvs-studio ; then + log_info 'install_pvs: "pvs-studio" directory already exists, skipping install' + return 0 + fi + mkdir pvs-studio cd pvs-studio |