diff options
-rwxr-xr-x | projects/grub/grub | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) } |