pvscheck.sh: Skip install if dir exists

This commit is contained in:
Justin M. Keyes 2019-01-08 00:29:44 +01:00
parent 0ccb9704d7
commit c8e78abaf9

View File

@ -8,6 +8,10 @@ set -e
# arguments provided. # arguments provided.
test -z "$POSH_VERSION" && set -u test -z "$POSH_VERSION" && set -u
log_info() {
>&2 printf "pvscheck.sh: %s\n" "$@"
}
get_jobs_num() { get_jobs_num() {
if [ -n "${TRAVIS:-}" ] ; then if [ -n "${TRAVIS:-}" ] ; then
# HACK: /proc/cpuinfo on Travis CI is misleading, so hardcode 1. # HACK: /proc/cpuinfo on Travis CI is misleading, so hardcode 1.
@ -261,6 +265,11 @@ install_pvs() {(
cd "$tgt" 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 mkdir pvs-studio
cd pvs-studio cd pvs-studio