db3c1d9ccf
for our purposes, grub and gnulib are one in the same if one fails, both have failed exit with non-zero status if gnulib fails the script sets -e so it will fail if grub fails to download, which is tried before gnulib, and if that happens, the grub directory is not created |
||
|---|---|---|
| .. | ||
| bios_extract/patches | ||
| blobs | ||
| coreboot | ||
| git | ||
| grub | ||
| memtest86plus/patches | ||
| scripts | ||
| seabios/config | ||
| u-boot | ||