diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-03-08 14:17:09 +0000 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-03-08 14:25:47 +0000 |
| commit | f01636128e874686ccadff92f60ffdba973fa0c1 (patch) | |
| tree | 76cef5a479186557bbbca01293f92762d34d7bec /resources/scripts | |
| parent | eae1c64c2d7e5c18a2d600db8e93025814413baf (diff) | |
| download | librebootfr-f01636128e874686ccadff92f60ffdba973fa0c1.tar.gz librebootfr-f01636128e874686ccadff92f60ffdba973fa0c1.zip | |
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 d59410ac..9a806a21 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 ../ |