summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/ptxdist1
-rw-r--r--doc/ref_parameter.inc5
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,