Even if the developer enables the usage of prebuild packages, the Linux kernel
should not be part of it. The kernel is a too sensitive part and its build must
always be forced.
    
Signed-off-by: Juergen Beisert <[email protected]>
---
diff --git a/rules/kernel.make b/rules/kernel.make
index 8301b83..f4b3990 100644
--- a/rules/kernel.make
+++ b/rules/kernel.make
@@ -37,6 +37,7 @@ KERNEL_CONFIG         := $(call remove_quotes, 
$(PTXDIST_PLATFORMCONFIGDIR)/$(PTXCONF_K
 KERNEL_LICENSE         := GPLv2
 KERNEL_URL             := $(call kernel-url, KERNEL)
 KERNEL_SOURCE          := $(SRCDIR)/$(KERNEL).$(KERNEL_SUFFIX)
+KERNEL_DEVPKG          := NO
 
 # ----------------------------------------------------------------------------
 # Prepare

-- 
Pengutronix e.K.                              | Juergen Beisert             |
Linux Solutions for Science and Industry      | http://www.pengutronix.de/  |

-- 
ptxdist mailing list
[email protected]

Reply via email to