diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-07-31 13:43:20 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-07-31 13:43:20 +0200 |
| commit | 7c27bd115b14afd142da7684cc349369965f9eab (patch) | |
| tree | bd8ee8a4e6ec582481f926820fc4bfe0b8740f23 /gnu/local.mk | |
| parent | 6bb07e91e1ab9367f636a3a5e9d52a9e0772aa89 (diff) | |
file-system: Add mount-may-fail? option.
* gnu/system/file-systems.scm (<file-system>): Add a mount-may-fail? field.
(file-system->spec): adapt accordingly,
(spec->file-system): ditto.
* gnu/build/file-systems.scm (mount-file-system): If 'system-error is raised
and mount-may-fail? is true, ignore it. Otherwise, re-raise the exception.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions