diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2012-05-04 05:40:53 +0000 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-05-05 08:49:02 +0200 |
| commit | f18c51657f4ab038654297ccc8fb8e00314c8b60 (patch) | |
| tree | 0645cee8c05cf0f636ff1e3699ec82812ea39a11 /package/docker | |
| parent | a90617b6271c86769a03ea8f7cfc5a58451e02c5 (diff) | |
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>
Diffstat (limited to 'package/docker')
0 files changed, 0 insertions, 0 deletions