On Tue, 05/31 10:51, Paolo Bonzini wrote: > > diff --git a/tests/docker/Makefile.include b/tests/docker/Makefile.include > > new file mode 100644 > > index 0000000..372733d > > --- /dev/null > > +++ b/tests/docker/Makefile.include > > @@ -0,0 +1,121 @@ > > +# Makefile for Docker tests > > + > > +include $(SRC_PATH)/rules.mak > > Why include this _and_ include tests/docker/Makefile.include from the > top Makefile?
This is for quiet-command, which is only conditionally included by top Makefile. > > I think you should do one of this: > > a) drop this inclusion; nice, but it pollutes the toplevel makefile a bit > > b) do the following: > > - link this file into the build tree in configure > > - include ../../config-host.mak I prefer we support running from the src tree without running configure, but $(MAKE) invocations doesn't propagate make variables such as SRC_PATH... > > - add to the toplevel Makefile a rule like > > docker docker-%: > $(MAKE) -C tests/docker $@ ... and explicitly passing it (and $(V), etc.) here seems very ad-hocery. > > I prefer the latter. Either would make patch 3 unnecessary. Maybe I should make patch 3 a patch to make top Makefile include rules.mak unconditionally? Fam