From 8af2c6fbb86078ad8c044e61c4f8fd2c61e602c9 Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Wed, 26 Oct 2011 16:33:11 -0400
Subject: [PATCH] gnomeos-make-image.sh: Don't copy kernel

There's no point.
---
 parallel-debian/gnomeos-make-image.sh | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/parallel-debian/gnomeos-make-image.sh b/parallel-debian/gnomeos-make-image.sh
index c3842967..a6e33f21 100755
--- a/parallel-debian/gnomeos-make-image.sh
+++ b/parallel-debian/gnomeos-make-image.sh
@@ -131,20 +131,6 @@ if ! test -f ${OBJ}; then
     mv ${OBJ}.tmp ${OBJ}
 fi
 
-OBJ=gnomeos-kernel
-if ! test -f ${OBJ}; then
-    if test -x /sbin/grubby; then
-        kernel=`grubby --default-kernel`
-        cp $kernel ${OBJ}.tmp
-    else
-        echo "ERROR: couldn't find /sbin/grubby (which we use to find the running kernel)"
-        echo "  You can copy any kernel image you want in here as gnomeos-kernel"
-        echo "  For example: cp /boot/vmlinuz-2.6.40.6-0.fc15.x86_64 gnomeos-kernel"
-        exit 1
-    fi
-    mv ${OBJ}.tmp ${OBJ}
-fi
-
 cp ${SRCDIR}/ostree_switch_root ${WORKDIR}
 
 OBJ=gnomeos-initrd.img