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 | 306463ff8cc58d47383bcdffcbecbf082b17cb83 (patch) | |
| tree | fa81ad1403039df2fce5c946af625198f7b2976e /pkgtools | |
| parent | b79e2f2a5f8c8580a979a614e4818282c25c9f92 (diff) | |
| download | pkgsrc-306463ff8cc58d47383bcdffcbecbf082b17cb83.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 |