From f01636128e874686ccadff92f60ffdba973fa0c1 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sun, 08 Mar 2015 10:17:09 -0400
Subject: 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
---
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 ../
--
cgit v0.9.1