Thomas Petazzoni f18c51657f linux: improve the 'make linux-*' special commands ... This patch improves two things: * It makes sure that the linux-menuconfig and al. commands can be executed even if the user hasn't executed 'make' before. Until now, the commands were depending on the .configured stamp, which is not sufficient since the linux package has been converted to the GENTARGETS infrastructure. Instead, depend on the linux-configure phony target. * It makes sure that those commands are not available when the Linux package is not selected, just like we do for Barebox. Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2012-05-05 08:49:02 +02:00
..
Config.ext.in	xenomai: mention which kernel versions are supported	2012-01-07 20:44:07 +01:00
Config.in	linux: bump default to kernel version 3.3.4	2012-04-29 19:13:46 +02:00
linux-ext-rtai.mk	rtai: fix path to apply-patches	2011-09-20 22:18:32 +02:00
linux-ext-xenomai.mk	rtai, xenomai: use the pre patch hook point	2011-09-20 22:18:16 +02:00
linux.mk	linux: improve the 'make linux-*' special commands	2012-05-05 08:49:02 +02:00