diff options
| author | joerg <joerg@pkgsrc.org> | 2008-05-15 17:51:44 +0000 |
|---|---|---|
| committer | joerg <joerg@pkgsrc.org> | 2008-05-15 17:51:44 +0000 |
| commit | 565f69fdfa4bd4a182fc36af946c593990968094 (patch) | |
| tree | fa81ad1403039df2fce5c946af625198f7b2976e /pkgtools | |
| parent | 26716e8f21ac7af231191cbd7bb43a8ad92832e8 (diff) | |
| download | pkgsrc-565f69fdfa4bd4a182fc36af946c593990968094.tar.gz | |
Shift after -K.
Diffstat (limited to 'pkgtools')
| -rw-r--r-- | pkgtools/pkg_leaves/files/pkg_leaves | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgtools/pkg_leaves/files/pkg_leaves b/pkgtools/pkg_leaves/files/pkg_leaves index e3a97360b44..7e21b8d3c32 100644 --- a/pkgtools/pkg_leaves/files/pkg_leaves +++ b/pkgtools/pkg_leaves/files/pkg_leaves @@ -46,6 +46,8 @@ while [ $# -gt 0 ] ; do ;; -K) PKG_DBDIR="$2" + shift + shift ;; esac done |