Re: [PATCH] config: Add 'make kvmconfig'

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



* Michal Marek <mmarek@xxxxxxx> wrote:

> On 2.11.2011 09:41, Ingo Molnar wrote:
> > 
> > * Matthias Schniedermeyer <ms@xxxxxxx> wrote:
> > 
> >> And AFAICS there currently is no "modconfig", only an 
> >> "allmodconfig" (and "localmodconfig")
> >>
> >> With no letters dropped it would be less ambiguous. make 
> >> modifyconfig=kvm
> > 
> > Yeah. Note that it's more like an 'add' operation, not a modify 
> > operation, thus:
> > 
> > 	make addconfig=kvm
> > 
> > or:
> > 
> > 	make addconfig kvm
> > 
> > would be intuitive and would work well too.
> > 
> > Sam, Michal, which one would you prefer? The latter might have the 
> > advantage that it's additive, enabling future usages like:
> > 
> > 	make addconfig kvm debug
> 
> The problem is that neither of these fit into the make command syntax:
> 
>     make addconfig kvm debug
> 
> tells make to build three different targets, and
> 
>     make addconfig=kvm
> 
> tells make to create a variable named addconfig with the value kvm 
> and build the default target. And BTW, you or someone else 
> reassured me earlier in the thread that this is going to be needed 
> for the kvm case solely, so why are you inventing something generic 
> now? :)

Because we are trying to find *something* that is both usable and 
which you guys are willing to ack.

So what's your suggestion? Is 'make kvmconfig' OK? It certainly is 
intuitive and useful to us and we could move on to more important 
things to discuss.

Thanks,

	Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux&nblp;USB Development]     [Linux Media]     [Video for Linux]     [Linux Audio Users]     [Yosemite Secrets]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux