diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-08-04 02:36:03 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-08-07 07:48:03 -0400 |
| commit | ba4416a464ffa971d914082ed737061e4f7e4d98 (patch) | |
| tree | 7831ce5ccb37eb250d3f732da8d613d42e9e5e97 | |
| parent | a5531bd7650a15832492d890d48b3d820d3c5f62 (diff) | |
| download | librebootfr-ba4416a464ffa971d914082ed737061e4f7e4d98.tar.gz librebootfr-ba4416a464ffa971d914082ed737061e4f7e4d98.zip | |
Use 'make distclean' for cleaning up GRUB
| -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 ) } |