From f7d0fcdaac7dc2d60a0d57e90632f20ba36242f5 Mon Sep 17 00:00:00 2001
From: Lluís Batlle i Rossell <viric@vicerveza.homeunix.net>
Date: Fri, 20 Aug 2010 13:30:59 +0000
Subject: Making the kernel builder accept the 'vmlinux' kerneltarget.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23274
---
 pkgs/os-specific/linux/kernel/builder.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'pkgs')

diff --git a/pkgs/os-specific/linux/kernel/builder.sh b/pkgs/os-specific/linux/kernel/builder.sh
index 6055c8c4e5f..bb030abaa6c 100644
--- a/pkgs/os-specific/linux/kernel/builder.sh
+++ b/pkgs/os-specific/linux/kernel/builder.sh
@@ -68,7 +68,8 @@ installPhase() {
     if test "$arch" = um; then
         ensureDir $out/bin
         cp linux $out/bin
-    else
+    elif test "$kernelTarget" != "vmlinux"; then
+        # In any case we copy the 'vmlinux' ELF in the next lines
         cp arch/$archDir/boot/$kernelTarget $out
     fi
 
-- 
cgit 1.4.1