diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-03-08 10:17:09 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-03-08 10:25:47 (EDT) |
| commit | f01636128e874686ccadff92f60ffdba973fa0c1 (patch) | |
| tree | 76cef5a479186557bbbca01293f92762d34d7bec /resources/scripts | |
| parent | eae1c64c2d7e5c18a2d600db8e93025814413baf (diff) | |
| download | libreboot-f01636128e874686ccadff92f60ffdba973fa0c1.zip libreboot-f01636128e874686ccadff92f60ffdba973fa0c1.tar.gz libreboot-f01636128e874686ccadff92f60ffdba973fa0c1.tar.bz2 | |
build/clean/grub: use distclean instead of clean
Per GNU coding standards:
gnu.org/software/automake/manual/html_node/Standard-Targets.html
gnu.org/prep/standards/html_node/Standard-Targets.html
Diffstat (limited to 'resources/scripts')
| -rwxr-xr-x | resources/scripts/helpers/build/clean/grub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/clean/grub b/resources/scripts/helpers/build/clean/grub index d59410a..9a806a2 100755 --- a/resources/scripts/helpers/build/clean/grub +++ b/resources/scripts/helpers/build/clean/grub @@ -30,7 +30,7 @@ set -u -e cd grub/ printf "Cleaning the previous build of GRUB\n" -[[ -f Makefile ]] && make clean +[[ -f Makefile ]] && make distclean # done. go back to main directoy cd ../ |