diff options
-rwxr-xr-x | bin/ptxdist | 1 | ||||
-rw-r--r-- | doc/ref_parameter.inc | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index d7bf4d5ff..343d80a70 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -947,6 +947,7 @@ Build Actions: go start building the current project get get all package sources + getdev get all pre-built archives (if enabled) urlcheck check package URL for all packages get <package> get package sources 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, |