b774869c3b
After some recent reordering[0], the /boot/grub directory isn't created early enough on Gentoo any more, let us just ensure ourselves that it is in place when we create the grub config. [0] I8cb34914bbbfa05521bbb71cc6637368b980358f Change-Id: I8a84d08c3090e46b00d1d626fb984f66ea33f256 |
||
---|---|---|
.. | ||
block_device | ||
elements | ||
lib | ||
tests | ||
__init__.py | ||
disk_image_create.py | ||
element_dependencies.py | ||
logging_config.py | ||
paths.py | ||
version.py |