From c9edca36e6b24295932af2f6771379aee959febd Mon Sep 17 00:00:00 2001 From: Roland Hieber Date: Tue, 26 Feb 2019 12:05:44 +0100 Subject: ptxdist: help: --force also exists as the short option -f Signed-off-by: Michael Olbrich --- bin/ptxdist | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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= use specified platformconfig --collectionconfig= use specified collectionconfig --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: -- cgit v1.2.3