diff options
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 9a806a21..cf22c8a0 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" |