From c8e78abaf9c35c07cab8825a8f59e81a06e9ad50 Mon Sep 17 00:00:00 2001
From: "Justin M. Keyes" <justinkz@gmail.com>
Date: Tue, 8 Jan 2019 00:29:44 +0100
Subject: pvscheck.sh: Skip install if dir exists

---
 scripts/pvscheck.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'scripts')

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
 
-- 
cgit