On Tue, 05/31 14:48, Paolo Bonzini wrote: > > > On 31/05/2016 14:40, Fam Zheng wrote: > > > I'm still a bit undecided about the pollution introduced by > > > tests/docker/Makefile.include, but I guess that's okay. > > > > I think it's also okay to switch to "make -C tests/docker" for docker > > targets > > (so "make docker" becomes "make -C tests/docker help"), this way the top > > Makefile is not touched. > > That would be a bit harder to discover. Go ahead with your current > solution. Perhaps rename SRC_COPY to DOCKER_SRC_COPY?
OK, good idea. Fam