diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-14 08:31:29 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-14 08:31:29 -0400 |
commit | 3359f8ef92d120f03e80b108f0fa68ae1882e90f (patch) | |
tree | 48abba563043e06cb00fad0157cba85b01681d06 /projects/libreboot-tools/configs | |
parent | 0f24f78c782bda6b28e809440b14e6a15684ead9 (diff) | |
download | librebootfr-3359f8ef92d120f03e80b108f0fa68ae1882e90f.tar.gz librebootfr-3359f8ef92d120f03e80b108f0fa68ae1882e90f.zip |
Cook the GRUB image before misc. trimmings
Out of: the image itself, keylayouts, and font, the image takes the
longest to build so it would be best to attempt its build first to
avoid wasted time and resources, however little, if the build fails.
Diffstat (limited to 'projects/libreboot-tools/configs')
0 files changed, 0 insertions, 0 deletions