libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 6dcfd6e42e4a52975e17934ca04e4f6073168cea
parent 4f2ce3a8520ab7a01e6ef97a4953d36745124a14
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Fri,  3 Jul 2015 12:05:14 +0100

build/roms/withgrub_helper: delete the correct directory

Diffstat:
resources/scripts/helpers/build/roms/withgrub_helper | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper @@ -121,7 +121,7 @@ mkdir "${1}/" mv "${1}"*.rom "${1}/" # delete the old ROM's from ../bin -rm -Rf "../bin/${1}/" +rm -Rf "../bin/grub/${1}/" # now put the new ROM's in ./bin/grub/ [ ! -d "../bin/grub/" ] && mkdir -p "../bin/grub/" mv "${1}/" "../bin/grub/"