diff options
author | Leah Rowe <leah@libreboot.org> | 2023-10-07 05:03:57 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-10-07 05:04:55 +0100 |
commit | 0ed2ec294bf31d8218e16bcf582031e6b319348f (patch) | |
tree | bd2920f1e3cf796176c3e28d00e2e74ab1ae1d27 /config/grub/patches/0001-borderfix/0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch | |
parent | b6d9e6c18ded5659ef5d0ea950133bdb0bb5c772 (diff) |
build/coreboot/util: merge to update/project/build
The benefit now is that it can be cleaned. E.g.
./update project build -b coreboot utils
./update project build -b coreboot utils default
./update project build -c coreboot utils
./update project build -c coreboot utils default
the update/project/build script checks when arguments
are provided after the project name. if the first one
is "utils", then it acts in the same way as the old
build/coreboot/util script
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/patches/0001-borderfix/0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch')
0 files changed, 0 insertions, 0 deletions