Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 5823f4da in mainline


Ignore:
Timestamp:
2016-04-05T17:49:42Z (4 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
master
Children:
3876300
Parents:
da3bc0e
Message:

.module files not needed. Keep Grub build dir for later use. mkimage.sh to build core.img for use of installer.

Location:
tools/grub
Files:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • tools/grub/grub-update.sh

    rda3bc0e r5823f4da  
    5858        cp -R "$builddir"/"$platform"/lib64/grub/"$platform" "$helenosdir"/boot/"$gdir" || exit 1
    5959        rm -f "$helenosdir"/boot/"$gdir"/"$platform"/*.image || exit 1
     60        rm -f "$helenosdir"/boot/"$gdir"/"$platform"/*.module || exit 1
    6061        bzr add "$helenosdir"/boot/"$gdir"/"$platform" || exit 1
    6162}
     
    109110grub_files_update grub.efi x86_64-efi
    110111
    111 # Clean up
    112 rm -rf "$builddir" || exit 1
    113 
    114112echo "GRUB update successful."
Note: See TracChangeset for help on using the changeset viewer.