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.