diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 1a69c3bc7..982d57a61 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -990,7 +990,7 @@ Overwrite defaults: --platformconfig=<config> use specified platformconfig --collectionconfig=<config> use specified collectionconfig --toolchain=<toolchain> use specified toolchain - --force select config even if MOJO is missing + --force, -f select config even if MOJO is missing --force-download allow downloading, even if disabled by setup Options: |