diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-01 21:24:19 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-02 00:22:09 -0400 |
commit | 004eca8565936ccd16db4e6fd27115d5b6ad6119 (patch) | |
tree | 55bc2d301dc10935134bc5cc33ee9203bad32bc8 /projects | |
parent | 422f5de5c83b25d2835a5baa1bd5ed876d60bd5e (diff) | |
download | librebootfr-004eca8565936ccd16db4e6fd27115d5b6ad6119.tar.gz librebootfr-004eca8565936ccd16db4e6fd27115d5b6ad6119.zip |
Build GRUB keymaps with targets, not as target
By building keymaps whenever a GRUB image is produced, there will be a
significant reduction in total time spent compiling Libreboot ROMs.
The previous build process for keymaps was hugely inefficient.
Diffstat (limited to 'projects')
-rwxr-xr-x | projects/grub/grub | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/projects/grub/grub b/projects/grub/grub index e77deb6d..6eae05f9 100755 --- a/projects/grub/grub +++ b/projects/grub/grub @@ -69,22 +69,21 @@ build() { local project_path="$(project_path "${project}")" local sources_path="$(project_sources_path "${project}" "${repository}" "$@")" local build_path="$(project_build_path "${project}" "$@")" - local rawmap_path="${project_path}/${CONFIGS}/${target}/original" + local raw_keymap_path="${project_path}/${CONFIGS}/keymap/original" mkdir -p "${build_path}" grub_build_utils + for raw_keymap in "${raw_keymap_path}"/*; do + grub_build_layout "${raw_keymap}" + done + case "${target}" in bios) grub_build_floppy_image grub_copy_modules ;; - keymap) - for rawmap in "${rawmap_path}"/*; do - grub_build_layout "${rawmap}" - done - ;; *) grub_build_standalone_image grub_copy_modules |