diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-06-10 20:30:48 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-10 20:30:48 (EDT) |
commit | 12c50f7939c02db85f05830c4b9fccf464b3977a (patch) | |
tree | 42c0b72ee957cc2f70b442cefb14923b06cb8507 /resources/scripts/helpers/build/module/grub | |
parent | 34270811fce1ecf0bcf3b1363b0dc3dbf284ab09 (diff) | |
download | libreboot-12c50f7939c02db85f05830c4b9fccf464b3977a.zip libreboot-12c50f7939c02db85f05830c4b9fccf464b3977a.tar.gz libreboot-12c50f7939c02db85f05830c4b9fccf464b3977a.tar.bz2 |
all script: use a standard style
Based on the style used for the script in
resources/scripts/helpers/build/release/
Diffstat (limited to 'resources/scripts/helpers/build/module/grub')
-rwxr-xr-x | resources/scripts/helpers/build/module/grub | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/resources/scripts/helpers/build/module/grub b/resources/scripts/helpers/build/module/grub index 73f36e7..e6b548a 100755 --- a/resources/scripts/helpers/build/module/grub +++ b/resources/scripts/helpers/build/module/grub @@ -29,10 +29,10 @@ set -u -e printf "Building GRUB\n" -cd grub/ +cd "grub/" # clean it first -[[ -f Makefile ]] && make clean +[[ -f Makefile ]] && make distclean # build grub ./autogen.sh @@ -42,6 +42,6 @@ make printf "\n\n" # done. go back to main directory -cd ../ +cd "../" # ------------------- DONE ---------------------- |