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
