diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-07-03 07:05:14 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-07-03 07:05:14 (EDT) |
| commit | 6dcfd6e42e4a52975e17934ca04e4f6073168cea (patch) | |
| tree | e944bb65418fa22b0e0fe472dab197c3e767d53a /resources | |
| parent | 4f2ce3a8520ab7a01e6ef97a4953d36745124a14 (diff) | |
| download | libreboot-6dcfd6e42e4a52975e17934ca04e4f6073168cea.zip libreboot-6dcfd6e42e4a52975e17934ca04e4f6073168cea.tar.gz libreboot-6dcfd6e42e4a52975e17934ca04e4f6073168cea.tar.bz2 | |
build/roms/withgrub_helper: delete the correct directory
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub_helper | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index 72ea451..d68e9a2 100755 --- 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/" |