diff options
author | ZyX <kp-pav@yandex.ru> | 2017-04-10 13:41:09 +0300 |
---|---|---|
committer | ZyX <kp-pav@yandex.ru> | 2017-04-10 13:41:09 +0300 |
commit | 59f0cbc282b1f110dd0281d835f52cfeb62c91d4 (patch) | |
tree | 5243b6f597a38ed7e2ae18674c5b40875cf56d86 | |
parent | ebfcf2fa386853b39f6d8b9541cbe41fdc3e4009 (diff) | |
download | rneovim-59f0cbc282b1f110dd0281d835f52cfeb62c91d4.tar.gz rneovim-59f0cbc282b1f110dd0281d835f52cfeb62c91d4.tar.bz2 rneovim-59f0cbc282b1f110dd0281d835f52cfeb62c91d4.zip |
pvscheck: Add help
-rwxr-xr-x | scripts/pvscheck.sh | 16 |
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}" |