From ba4416a464ffa971d914082ed737061e4f7e4d98 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Fri, 4 Aug 2017 02:36:03 -0400 Subject: Use 'make distclean' for cleaning up GRUB --- projects/grub/grub | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'projects') diff --git a/projects/grub/grub b/projects/grub/grub index 5dd3435c..e357cae8 100755 --- a/projects/grub/grub +++ b/projects/grub/grub @@ -108,7 +108,7 @@ build() { cp grub.elf "${build_path}" # Tidy up - make clean + make distclean ) } -- cgit v1.2.3-70-g09d2