aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZyX <kp-pav@yandex.ru>2017-04-10 13:41:09 +0300
committerZyX <kp-pav@yandex.ru>2017-04-10 13:41:09 +0300
commit59f0cbc282b1f110dd0281d835f52cfeb62c91d4 (patch)
tree5243b6f597a38ed7e2ae18674c5b40875cf56d86
parentebfcf2fa386853b39f6d8b9541cbe41fdc3e4009 (diff)
downloadrneovim-59f0cbc282b1f110dd0281d835f52cfeb62c91d4.tar.gz
rneovim-59f0cbc282b1f110dd0281d835f52cfeb62c91d4.tar.bz2
rneovim-59f0cbc282b1f110dd0281d835f52cfeb62c91d4.zip
pvscheck: Add help
-rwxr-xr-xscripts/pvscheck.sh16
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh
index 0a3d7486f2..00f2d481ea 100755
--- a/scripts/pvscheck.sh
+++ b/scripts/pvscheck.sh
@@ -64,9 +64,25 @@ patch_sources() {
-exec /bin/sh -c "$sh_script" - '{}' \;
}
+help() {
+ echo 'Usage: pvscheck.sh [target-directory [branch]]'
+ echo
+ echo ' target-directory: Directory where build should occur'
+ echo ' Default: ../neovim-pvs'
+ echo
+ echo ' branch: Branch to check'
+ echo ' Must not be already checked out: uses git worktree.'
+ echo ' Default: master'
+}
+
main() {
local PVS_URL="http://files.viva64.com/pvs-studio-6.14.21446.1-x86_64.tgz"
+ if test "x$1" = "x--help" ; then
+ help
+ return 0
+ fi
+
local tgt="${1:-$PWD/../neovim-pvs}"
local branch="${2:-master}"