diff options
author | Roland Hieber <rhi@pengutronix.de> | 2019-08-20 16:22:07 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-08-24 08:29:23 +0200 |
commit | 7ebcb3316f2084fcb5d015100881efb87f488e14 (patch) | |
tree | b38636e0b754014579ba1ab6499ad073f2eec2ee /doc | |
parent | 660f03d24c4cd40c8264aeb8a6c9b8dc4bdc2a4f (diff) | |
download | ptxdist-7ebcb3316f2084fcb5d015100881efb87f488e14.tar.gz ptxdist-7ebcb3316f2084fcb5d015100881efb87f488e14.tar.xz |
ptxdist: document 'getdev' action
Signed-off-by: Roland Hieber <rhi@pengutronix.de>
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ref_parameter.inc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ref_parameter.inc b/doc/ref_parameter.inc index 0b0ba5c6f..18ea01ae2 100644 --- a/doc/ref_parameter.inc +++ b/doc/ref_parameter.inc @@ -112,6 +112,11 @@ Build Actions download everything at once. Afterwards the packages can be built without internet access. +``getdev`` + if using pre-built archives is enabled, this action will make sure that all + of them exist locally, possibly by downloading them from the configured + mirror server. + ``urlcheck [<package>]`` this action will check if the URL for the package (or all packages) still works. It does not download the whole file, so this is relatively fast, |