diff options
| author | Leah Woods <info@minifree.org> | 2016-05-17 03:19:29 (EDT) |
|---|---|---|
| committer | Leah Woods <info@minifree.org> | 2016-05-18 15:24:09 (EDT) |
| commit | 5269566a6c37151015dea0d4cf78f341cca0669c (patch) | |
| tree | 9ae3f31ec51f53957b446c7f21332e42034f7e18 /resources/scripts/helpers/build/roms/withgrub | |
| parent | f6e141b3e2a796fe45b60641417c85234d399436 (diff) | |
| download | libreboot-5269566a6c37151015dea0d4cf78f341cca0669c.zip libreboot-5269566a6c37151015dea0d4cf78f341cca0669c.tar.gz libreboot-5269566a6c37151015dea0d4cf78f341cca0669c.tar.bz2 | |
Implement SeaGRUB and make it the default payload on all current GRUB boards
Diffstat (limited to 'resources/scripts/helpers/build/roms/withgrub')
| -rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub index bbf3445..3025d97 100755 --- a/resources/scripts/helpers/build/roms/withgrub +++ b/resources/scripts/helpers/build/roms/withgrub @@ -1,7 +1,7 @@ #!/bin/bash # -# helper script: build ROM images with GRUB and put them in ./bin/ +# helper script: build ROM images with SeaGRUB and put them in ./bin/ # # Copyright (C) 2014, 2015, 2016 Leah Woods <info@minifree.org> # Copyright (C) 2015 Klemens Nanni <contact@autoboot.org> @@ -120,6 +120,7 @@ fi # The GRUB files are no longer needed rm -f "coreboot/grub"*.{elf,cfg} +rm -f "coreboot/seabios"*.elf rm -f "coreboot/"*/*/*.{elf,cfg} printf "\n\n" |