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/clean/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/clean/grub')
| -rwxr-xr-x | resources/scripts/helpers/build/clean/grub | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/resources/scripts/helpers/build/clean/grub b/resources/scripts/helpers/build/clean/grub index 9a806a2..cf22c8a 100755 --- a/resources/scripts/helpers/build/clean/grub +++ b/resources/scripts/helpers/build/clean/grub @@ -27,13 +27,13 @@ set -u -e # clean grub # -------------------------------------------------------- -cd grub/ +cd "grub/" printf "Cleaning the previous build of GRUB\n" -[[ -f Makefile ]] && make distclean +[[ -f "Makefile" ]] && make distclean # done. go back to main directoy -cd ../ +cd "../" printf "\n\n" |