diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-14 08:28:44 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-14 08:30:35 -0400 |
| commit | 0f24f78c782bda6b28e809440b14e6a15684ead9 (patch) | |
| tree | d2f2d7cd4b91f0377b11630913f0d8cce56f1bcf | |
| parent | ddf95932704dcf45259ccb6d2e766f1bf1c78f0c (diff) | |
| download | librebootfr-0f24f78c782bda6b28e809440b14e6a15684ead9.tar.gz librebootfr-0f24f78c782bda6b28e809440b14e6a15684ead9.zip | |
Use GNU Make's '-C' flag
Forgot about that flag when that was written. Somehow.
| -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() { |