Thanks, applied as 120c9ba1be73e425b9de3012ac5e9eec1fd0ea07. Michael
[sent from post-receive hook] On Wed, 19 Oct 2022 07:41:05 +0200, Uwe Kleine-König <u.kleine-koe...@pengutronix.de> wrote: > Many options that ptxdist parses are the same for make(1) (e.g. -j, -k, > -d). However the option to make make silent is -s, add that to reduce > the time I spend on thinking which option is for which command. > > While at it also add --silent in accordance to make (which also knows > about --quiet by the way). > > Signed-off-by: Uwe Kleine-König <u.kleine-koe...@pengutronix.de> > Message-Id: <20220930143637.3372940-1-u.kleine-koe...@pengutronix.de> > Signed-off-by: Michael Olbrich <m.olbr...@pengutronix.de> > > diff --git a/bin/ptxdist b/bin/ptxdist > index 5c6df104e5f6..dfb619cbd8d0 100755 > --- a/bin/ptxdist > +++ b/bin/ptxdist > @@ -812,6 +812,7 @@ Options: > > --debug, -d print out additional info (like make > decisions) > --quiet, -q suppress output, show only stderr > + --silent, -s alias for --quiet > --verbose, -v be more verbose, print command before > execute them > --output-sync Improve output readability for parallel > building. > Disabled by default except for quiet builds. > @@ -1148,7 +1149,7 @@ parse_first() > --progress) > PTXDIST_PROGRESS=1 > ;; > - -q|--quiet) > + -q|--quiet|-s|--silent) > PTXDIST_QUIET=1 > ;; > --git)