17 Jun
2020
17 Jun
'20
11:05 p.m.
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