Allow user configurable kernel name
authorUlf Samuelsson <ulf.samuelsson@atmel.com>
Wed, 1 Aug 2007 11:52:15 +0000 (11:52 -0000)
committerUlf Samuelsson <ulf.samuelsson@atmel.com>
Wed, 1 Aug 2007 11:52:15 +0000 (11:52 -0000)
target/linux/Makefile.in

index 21b22d8148139fa9f239abbd5ef2722ae65a18ba..f4ffd5d8d2f5ec369ab87877fe72f65f9ab2090e 100644 (file)
@@ -55,7 +55,9 @@ LINUX26_BINLOC=arch/$(KERNEL_ARCH)/boot/$(LINUX26_FORMAT)
 endif
 
 # File name for the Linux kernel binary
+ifndef LINUX26_KERNEL
 LINUX26_KERNEL=$(BINARIES_DIR)/linux-kernel-$(LINUX26_VERSION)-$(KERNEL_ARCH)
+endif
 
 # Version of Linux AFTER patches
 LINUX26_DIR=$(BUILD_DIR)/linux-$(LINUX26_VERSION)