diff options
author | Roland Hieber <rhi@pengutronix.de> | 2019-02-26 12:05:44 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-03-01 12:30:49 +0100 |
commit | c9edca36e6b24295932af2f6771379aee959febd (patch) | |
tree | 36d45032f199a8b4120382d08e2fb790a6c9987e /bin/ptxdist | |
parent | 12c43a39b3d79363f71a201540011701791be4aa (diff) | |
download | ptxdist-c9edca36e6b24295932af2f6771379aee959febd.tar.gz ptxdist-c9edca36e6b24295932af2f6771379aee959febd.tar.xz |
ptxdist: help: --force also exists as the short option -f
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
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: |