diff options
| author | Swift Geek <swiftgeek@gmail.com> | 2019-11-03 22:55:13 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2019-11-03 22:55:13 +0000 |
| commit | cc0ff53ec2ae9e576824dd92ed441e8766f73014 (patch) | |
| tree | f82621cca0c84a10491c84b1ee8e24f267d40250 /projects/grub | |
| parent | b7b39afdd822e582140c3767e71efd40fd4875ae (diff) | |
| parent | 7c58ae4cdf4c31188a581ca7685bda889132dda9 (diff) | |
| download | librebootfr-cc0ff53ec2ae9e576824dd92ed441e8766f73014.tar.gz librebootfr-cc0ff53ec2ae9e576824dd92ed441e8766f73014.zip | |
Merge branch 'bugs' of and_who/libreboot into master
Diffstat (limited to 'projects/grub')
| -rwxr-xr-x | projects/grub/grub | 30 |
1 files changed, 13 insertions, 17 deletions
diff --git a/projects/grub/grub b/projects/grub/grub index 75d29380..ada5c338 100755 --- a/projects/grub/grub +++ b/projects/grub/grub @@ -75,28 +75,24 @@ build() { local build_path="$(project_build_path "$project" "$@")" local raw_keymap_path="$project_path/$CONFIGS/keymaps" - ( - set -e + mkdir -p "$build_path" - mkdir -p "$build_path" + grub_build_utils - grub_build_utils - - if [[ "$target" == 'bios' ]]; then - grub_build_floppy_image - else - grub_build_standalone_image - fi + if [[ "$target" == 'bios' ]]; then + grub_build_floppy_image + else + grub_build_standalone_image + fi - for raw_keymap in "$raw_keymap_path"/*; do - grub_build_layout "$raw_keymap" - done + for raw_keymap in "$raw_keymap_path"/*; do + grub_build_layout "$raw_keymap" + done - grub_build_font - grub_copy_modules + grub_build_font + grub_copy_modules - make -C "$sources_path" distclean - ) + make -C "$sources_path" distclean } build_check() { |