[Buildroot] [PATCH 1/1] linux: improve the 'make linux-*' special commands

[Peter Korsgaard]

>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes:

 Thomas> This patch improves two things:
 Thomas>  * It makes sure that the linux-menuconfig and al. commands can be
 Thomas>    executed even if the user hasn't executed 'make' before. Until now,
 Thomas>    the commands were depending on the .configured stamp, which is not
 Thomas>    sufficient since the linux package has been converted to the
 Thomas>    GENTARGETS infrastructure. Instead, depend on the linux-configure
 Thomas>    phony target.

 Thomas>  * It makes sure that those commands are not available when the Linux
 Thomas>    package is not selected, just like we do for Barebox.

Committed, thanks.

-- 
Bye, Peter Korsgaard