diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2015-07-15 11:58:03 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2015-07-15 12:04:31 +0200 |
| commit | ab822b624bc48410c8d7bd3be1c88c399a44adae (patch) | |
| tree | 7439b77cbe185b66d815b195a2b2fa2c46181feb /tools/make-man-index.py | |
| parent | 8a2abb30b8a4ef97eb69ecdabd31da996abc3df0 (diff) | |
sd-boot: ignore missing /etc/machine-id
If /etc/machine-id is missing (eg., gold images), we should not fail
installing sd-boot. This is a perfectly fine use-case and we should simply
skip installing the default loader config in that case.
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions