diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2018-12-28 01:25:24 -0500 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2018-12-28 21:43:22 -0500 |
| commit | dacd26cb9014cd70dc6ddd73f692f4a08ac3db9f (patch) | |
| tree | 17f86502526bcc1b020bf6e76a8bcca98e7f10cf | |
| parent | 7f00df794aca3f11cf8455b31c8241d9ab2e6fe4 (diff) | |
| download | librebootfr-dacd26cb9014cd70dc6ddd73f692f4a08ac3db9f.tar.gz librebootfr-dacd26cb9014cd70dc6ddd73f692f4a08ac3db9f.zip | |
Trim some less useful comments in grub-helper
| -rwxr-xr-x | projects/grub/grub-helper | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/projects/grub/grub-helper b/projects/grub/grub-helper index f04aedc7..3a74095f 100755 --- a/projects/grub/grub-helper +++ b/projects/grub/grub-helper @@ -113,14 +113,12 @@ grub_copy_modules() { } grub_build_font() { - # Font project-specific filenames and paths local font_file="$(grub_font_file "$FONTS" "$@")" local font_project="$(grub_font_project "$FONTS" "$@")" local font_build_dir="$root/$BUILD/$font_project" local grub_mkfont="$sources_path/grub-mkfont" - # GRUB font directory for outputting the built PF2 file mkdir -p "$build_path/$FONTS" "$grub_mkfont" --output="$build_path/$FONTS/${font_file%.*}.pf2" \ @@ -129,8 +127,6 @@ grub_build_font() { grub_build_utils() { ( - # If arch and/or platform files don't exist, - # the configure script will pick a reasonable default local arch="$(grub_arch "$target" "$@")" local platform="$(grub_platform "$target" "$@")" |