When creating grub disk, do not bail out if copying fails

This commit is contained in:
Jan Stoess 2011-11-18 10:26:13 +01:00
parent 769a8e45e4
commit 922cffc6e8
1 changed files with 3 additions and 3 deletions

View File

@ -1,8 +1,8 @@
######################################################################
##
## Copyright (C) 2004, 2007, 2010, Karlsruhe University
## Copyright (C) 2004, 2007, 2010-2011, Karlsruhe University
##
## File path: Makefile.in
## File path: pistachio/pistachio-git/user/util/grubdisk/Makefile.in
## Description: Build a bootable disk image
##
## Redistribution and use in source and binary forms, with or without
@ -48,7 +48,7 @@ bootdisk.img: grub.img mtoolsrc ${srcdir}/menu.lst ${top_builddir}/util/kickstar
@# Make it a GRUB disk
dd if=grub.img of=bootdisk.img conv=notrunc > /dev/null
#@ Strip and zip binaries
cp -u ${top_builddir}/*/*/{kickstart,sigma0} ${kerneldir}/${KERNEL} ${APP} .
cp -u ${top_builddir}/*/*/{kickstart,sigma0} ${kerneldir}/${KERNEL} ${APP} . || exit 0
strip ${notdir ${APP}} sigma0 kickstart ${KERNEL}
gzip -f ${notdir ${APP}} sigma0 kickstart ${KERNEL}
cat ${srcdir}/menu.lst | sed -e "s/APP/${notdir ${APP}}/" > menu.lst