From dacd26cb9014cd70dc6ddd73f692f4a08ac3db9f Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Fri, 28 Dec 2018 01:25:24 -0500 Subject: Trim some less useful comments in grub-helper --- projects/grub/grub-helper | 4 ---- 1 file changed, 4 deletions(-) (limited to 'projects') 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" "$@")" -- cgit v1.2.3-70-g09d2