diff options
Diffstat (limited to 'make/kernel-headers.mk')
| -rw-r--r-- | make/kernel-headers.mk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/make/kernel-headers.mk b/make/kernel-headers.mk index 1c9483ba5..183823e47 100644 --- a/make/kernel-headers.mk +++ b/make/kernel-headers.mk @@ -50,13 +50,15 @@ $(LINUX_DIR)/.configured: $(LINUX_DIR)/.unpacked $(LINUX_KERNEL): $(LINUX_DIR)/.configured -system-linux: $(LINUX_DIR)/.configured +kernel-headers: $(LINUX_DIR)/.configured -system-linux-clean: clean +kernel-headers-source: $(DL_DIR)/$(LINUX_SOURCE) + +kernel-headers-clean: clean rm -f $(LINUX_KERNEL) rm -rf $(LINUX_DIR) -system-linux-dirclean: +kernel-headers-dirclean: rm -rf $(LINUX_DIR) endif |