diff options
| -rwxr-xr-x | pbuilder-checkparams | 4 | ||||
| -rw-r--r-- | pdebuild.1 | 12 |
2 files changed, 14 insertions, 2 deletions
diff --git a/pbuilder-checkparams b/pbuilder-checkparams index 95728bc..01fb9b9 100755 --- a/pbuilder-checkparams +++ b/pbuilder-checkparams @@ -76,6 +76,10 @@ while [ -n "$1" ]; do --help) showhelp ;; + --) # this is an empty option, to no longer process. + shift; + break; + ;; --*) echo "Error: Unknown option [$1] was specified " >&2 exit 1; @@ -15,14 +15,22 @@ invoked. .SH OPTIONS .TP .BI "--buildsourceroot [" "fakeroot" "]" -The command to gain root privilege for +The command used to gain root privilege for invoking dpkg-buildpackage .TP .BI "--pbuilderroot [" "sudo" "]" -The command to gain root privilege for +The command used to gain root privilege for invoking pbuilder. + +.TP +.BI "-- [" "pbuilder options" "]" + +After the +.B "--" +symbol, an arbitrary number of pbuilder options can be specified. + .SH "FILES" .TP .I "/etc/pbuilderrc" |