diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/pvscheck.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index 949021a174..ca85b6be7f 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -306,7 +306,7 @@ realdir() {( patch_sources() {( local tgt="$1" ; shift - local only_bulid="${1:-}" + local only_bulid="${1}" ; shift get_pvs_comment "$tgt" @@ -420,7 +420,7 @@ main() { set -x if test -n "$patch" ; then - patch_sources "$only_build" "$tgt" + patch_sources "$tgt" "$only_build" elif test -n "$pvs_install" ; then install_pvs "$tgt" "$pvs_url" elif test -n "$recheck" ; then |