diff options
Diffstat (limited to 'projects')
| -rwxr-xr-x | projects/grub/grub | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/projects/grub/grub b/projects/grub/grub index 42794dda..1c729663 100755 --- a/projects/grub/grub +++ b/projects/grub/grub @@ -89,12 +89,7 @@ build() { grub_copy_modules - # Temporary until the function project_make_distclean is written - ( - cd "${sources_path}" || return - - make distclean - ) + make -C "${sources_path}" distclean } build_check() { |