diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-02-20 00:56:41 (EST) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-02-20 00:56:41 (EST) |
| commit | b7859ce55b85f06133ffb4c85e34f5d25a84f0b3 (patch) | |
| tree | 0ac0f92216f8110a45a80be29fd80060d1408738 /resources/scripts/helpers/build/clean/grub | |
| parent | a4edcd82dc5405d8b58bf6ea2ddb6f928c059049 (diff) | |
| download | libreboot-b7859ce55b85f06133ffb4c85e34f5d25a84f0b3.zip libreboot-b7859ce55b85f06133ffb4c85e34f5d25a84f0b3.tar.gz libreboot-b7859ce55b85f06133ffb4c85e34f5d25a84f0b3.tar.bz2 | |
bash scripts: Make script output more user-friendly
Diffstat (limited to 'resources/scripts/helpers/build/clean/grub')
| -rwxr-xr-x | resources/scripts/helpers/build/clean/grub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/clean/grub b/resources/scripts/helpers/build/clean/grub index b6e4f13..d59410a 100755 --- a/resources/scripts/helpers/build/clean/grub +++ b/resources/scripts/helpers/build/clean/grub @@ -29,9 +29,12 @@ set -u -e cd grub/ +printf "Cleaning the previous build of GRUB\n" [[ -f Makefile ]] && make clean # done. go back to main directoy cd ../ +printf "\n\n" + # ------------------- DONE ---------------------- |