[src/trunk]: src/sys/arch/evbarm/conf name the kernel like other evbarms

[christos <christos%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/1e2fda8264a7
branches:  trunk
changeset: 784794:1e2fda8264a7
user:      christos <christos%NetBSD.org@localhost>
date:      Sat Feb 09 20:48:38 2013 +0000

description:
name the kernel like other evbarms

diffstat:

 sys/arch/evbarm/conf/mk.rpi |  8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)

diffs (19 lines):

diff -r 65d3c877dfad -r 1e2fda8264a7 sys/arch/evbarm/conf/mk.rpi
--- a/sys/arch/evbarm/conf/mk.rpi       Sat Feb 09 20:47:46 2013 +0000
+++ b/sys/arch/evbarm/conf/mk.rpi       Sat Feb 09 20:48:38 2013 +0000
@@ -1,4 +1,4 @@
-#      $NetBSD: mk.rpi,v 1.2 2012/12/10 05:02:14 matt Exp $
+#      $NetBSD: mk.rpi,v 1.3 2013/02/09 20:48:38 christos Exp $
 
 CPPFLAGS+= -march=armv6z -mtune=arm1176jzf-s -mfpu=vfp
 
@@ -13,5 +13,7 @@
 KERNEL_BASE_VIRT=0xc0008000
 
 SYSTEM_LD_TAIL_EXTRA+=; \
-       echo ${OBJCOPY} -S -O binary $@ kernel.img; \
-       ${OBJCOPY} -S -O binary $@ kernel.img
+       echo ${OBJCOPY} -S -O binary $@ $@.bin; \
+       ${OBJCOPY} -S -O binary $@ $@.bin
+
+EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@}