diff options
author | joerg <joerg> | 2008-05-15 17:51:44 +0000 |
---|---|---|
committer | joerg <joerg> | 2008-05-15 17:51:44 +0000 |
commit | 55df70bf668576ff76be2124cb84033031861b2a (patch) | |
tree | fa81ad1403039df2fce5c946af625198f7b2976e /pkgtools | |
parent | 1e739df80d52a0655be3f6d5bc8640cdb53b5003 (diff) | |
download | pkgsrc-55df70bf668576ff76be2124cb84033031861b2a.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 |