On Wed, Jun 17, 2020 at 03:18:48PM +0200, Andrea Bolognani wrote:
On Wed, 2020-06-17 at 12:00 +0200, Erik Skultety wrote:
> +ci-distcheck@%:
> + $(MAKE) -C $(CI_ROOTDIR) ci-build@$* CI_MAKE_ARGS="distcheck"
I'm not sure we want to have such a proxy for all possible make
targets, especially since CI_MAKE_ARGS exists and is specifically
intended for the purpose of running
$ make ci-build@centos-8 CI_MAKE_ARGS="syntax-check distcheck"
I think that ship has sailed the moment we added ci-check.
What I'll do is respin this patch with extending the ci-help output as well as
adding CI_MAKE_ARGS to the help output, because like you said, one has to skim
through the Makefile to see what's available to them.
Erik