diff options
Diffstat (limited to 'rules/kernel-checks.make')
-rw-r--r-- | rules/kernel-checks.make | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/rules/kernel-checks.make b/rules/kernel-checks.make index d810e2ea3..4ce4c247f 100644 --- a/rules/kernel-checks.make +++ b/rules/kernel-checks.make @@ -10,27 +10,6 @@ ifdef PTXCONF_KERNEL -ifdef PTXCONF_KERNEL_LOCAL_FLAG -ifeq ($(PTXCONF_SETUP_KERNELDIR_PREFIX),) - $(warning ***) - $(warning *** PTXCONF_KERNEL_LOCAL_FLAG feature activated, but) - $(warning *** PTXCONF_SETUP_KERNELDIR_PREFIX is unset!) - $(warning ***) - $(warning *** This feature is mainly for developers, who to want have their kernel sources) - $(warning *** outside of ptxdist. You can turn it off by deselecting "Local kernel tree":) - $(warning *** "ptxdist platformconfig" -> "Linux kernel" -> "Local kernel tree") - $(warning ***) - $(warning *** If you want to use the feature, please enter a proper prefix) - $(warning *** to your kernel tree) - $(warning *** "ptxdist setup" -> "Source Directories") - $(warning *** -> "Prefix for kernel trees") - $(warning *** and specify where to look for your kernel tree) - $(warning ***) - $(error ) -endif -endif - - ifeq ($(PTXCONF_KERNEL_VERSION),) $(warning *** PTXCONF_KERNEL_VERSION is empty) $(warning *** please run 'ptxdist platformconfig' and activate the kernel) |