diff options
| author | Heinrich Schuchardt <[email protected]> | 2019-12-19 13:30:32 +0100 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2020-02-07 11:16:28 -0500 |
| commit | 24df1b14f3ab9e3ba423d022790ea6d1ae0154da (patch) | |
| tree | ee8daa687432aee45e0636fb852ad53b5aa7e753 /scripts/objdiff | |
| parent | 904ea003c151d8480b2e97b696ebc8f8e051d281 (diff) | |
gitlab: use our own GRUB
Up to now we have been relying on openSUSE repositories for GRUB on arm and
arm64 though we have included GRUB in our Docker image.
Use the GRUB included in our Docker image.
Signed-off-by: Heinrich Schuchardt <[email protected]>
Diffstat (limited to 'scripts/objdiff')
0 files changed, 0 insertions, 0 deletions