diff options
Diffstat (limited to 'resources/scripts/helpers/build/roms/withgrub')
| -rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub index fd1aa5de..f3c0c053 100755 --- a/resources/scripts/helpers/build/roms/withgrub +++ b/resources/scripts/helpers/build/roms/withgrub @@ -3,7 +3,7 @@ # # helper script: build ROM images with GRUB and put them in ./bin/ # -# Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> +# Copyright (C) 2014, 2015, 2016 Francis Rowe <info@gluglug.org.uk> # Copyright (C) 2015 Klemens Nanni <contact@autoboot.org> # # This program is free software: you can redistribute it and/or modify @@ -28,6 +28,10 @@ set -u -e printf "Building ROM images with the GRUB payload\n" +# The GRUB files should be deleted first +rm -f "coreboot/grub"*.{elf,cfg} +rm -f "coreboot/"*/*/grub*.{elf,cfg} + [ -d bin ] || mkdir "bin/" # Put GRUB payloads and config files @@ -136,5 +140,6 @@ fi # The GRUB files are no longer needed rm -f "coreboot/grub"*.{elf,cfg} +rm -f "coreboot/"*/*/grub*.{elf,cfg} printf "\n\n" |