diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2025-10-11 15:11:13 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-11-24 23:21:56 +0100 |
| commit | f89bbcb653e73640fb79d1f3b040fa3f613281b9 (patch) | |
| tree | 9a18be14733284e3bd8e7438328bc6dea4799a3c /gnu/system/image.scm | |
| parent | 6be56bcbf8a383a934b6f791c3b01839bb2a99de (diff) | |
image: export efi32-disk-image.
* gnu/build/image.scm (efi32-disk-image): Export.
Change-Id: I45ddcdafab12cdcc8f33a574f55387651f1048f8
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/system/image.scm')
| -rw-r--r-- | gnu/system/image.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system/image.scm b/gnu/system/image.scm index af0f3eb354d..4693e13d164 100644 --- a/gnu/system/image.scm +++ b/gnu/system/image.scm @@ -81,6 +81,7 @@ mbr-disk-image mbr-hybrid-disk-image efi-disk-image + efi32-disk-image iso9660-image docker-image tarball-image |