diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2022-08-30 19:16:36 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2022-08-30 19:29:58 +0200 |
| commit | 192b7d0c0b0958d6c87df6084a644e0c7eca2ec0 (patch) | |
| tree | d964d7ae646bf1bb1da212cd9a528ad8f6e37977 /gnu/ci.scm | |
| parent | 61bbff9d5015d0f60ad68f1814e0a0b0ea0592b8 (diff) | |
build: image: Make partition uuid optional.
The uuid field of <partition> defaults to #false. This should be reflected
when creating the partition.
* gnu/build/image.scm (make-ext-image): Make it optional.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions