On Wed, Jun 17, 2020 at 04:56:28PM +0200, Andrea Bolognani wrote: > On Wed, 2020-06-17 at 16:17 +0200, Erik Skultety wrote: > > +++ b/ci/Makefile > > @@ -266,4 +266,6 @@ ci-help: > > @echo " CI_CLEAN=0 - do not delete '$(CI_SCRATCHDIR)' after completion" > > @echo " CI_REUSE=1 - re-use existing '$(CI_SCRATCHDIR)' content" > > @echo " CI_ENGINE=auto - container engine to use (podman, docker)" > > + @echo " CI_CONFIGURE_ARGS= - extra arguments passed to configure" > > + @echo " CI_MAKE_ARGS= - extra arguments passed to make, e.g. space delimited list of make targets" > > Please re-align existing entries, and consider I can do that, but I think we should just use a single space (or 2) in between the variable and the description, so that when we add something longer than CI_CONFIGURE_ARGS we don't have to re-align again, there's no point in that.