diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-05-30 17:50:43 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-05-30 17:58:18 +0200 |
commit | d86eba7179c90cbef1e602590c3ffe6ef7cf5732 (patch) | |
tree | e3f162d9eb2bdf6cab872cdf6810c68bd712cdcc /platforms | |
parent | 1520ffb8c2fb4b8c05d6bced777adbd723efe0f4 (diff) | |
download | ptxdist-d86eba7179c90cbef1e602590c3ffe6ef7cf5732.tar.gz ptxdist-d86eba7179c90cbef1e602590c3ffe6ef7cf5732.tar.xz |
turn vdi image into a new image
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'platforms')
-rw-r--r-- | platforms/image-hd-vdi.in (renamed from platforms/image_hd_vdi.in) | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/platforms/image_hd_vdi.in b/platforms/image-hd-vdi.in index 6e9d92c9f..92d1831dc 100644 --- a/platforms/image_hd_vdi.in +++ b/platforms/image-hd-vdi.in @@ -1,8 +1,8 @@ -## SECTION=image +## SECTION=image2 -config IMAGE_VDI - bool - select IMAGE_HD +config IMAGE_HD_VDI + tristate + select IMAGE_HDIMG prompt "Generate images/hd.vdi" help Build a VirtualBox's disk image file. |