changeset 3154:d29a92fff7f2

coco3fpga: Rename SD disk images to .img To avoid confusion since they are not bootable disks, but to be raw copied to the /sd0 partition on the CoCo3FPGA SD card.
author Tormod Volden <debian.tormod@gmail.com>
date Tue, 07 Feb 2017 00:37:28 +0100
parents adc28092355b
children 96af4bcea625
files level2/coco3fpga/makefile
diffstat 1 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/level2/coco3fpga/makefile	Mon Feb 06 22:51:10 2017 +0100
+++ b/level2/coco3fpga/makefile	Tue Feb 07 00:37:28 2017 +0100
@@ -44,15 +44,15 @@
 DSKCOCO3FPGADW	= $(DISTROVER)_becker.dsk
 DSKCOCO3FPGADWSD	= $(DISTROVER)_becker_sd.dsk
 DSKCOCO3FPGADWSDRTC	= $(DISTROVER)_becker_sd_rtc.dsk
-DSKCOCO3FPGAROM	= $(DISTROVER)_bootrom.dsk
-DSKCOCO3FPGAROMDW	= $(DISTROVER)_bootrom_becker.dsk
-DSKCOCO3FPGAROMRTC	= $(DISTROVER)_bootrom_rtc.dsk
+DSKCOCO3FPGAROM	= $(DISTROVER)_bootrom.img
+DSKCOCO3FPGAROMDW	= $(DISTROVER)_bootrom_becker.img
+DSKCOCO3FPGAROMRTC	= $(DISTROVER)_bootrom_rtc.img
 LDSKCOCO3FPGADW	= $(DISTRONAME)_becker.dsk
 LDSKCOCO3FPGADWSD	= $(DISTRONAME)_becker_sd.dsk
 LDSKCOCO3FPGADWSDRTC	= $(DISTRONAME)_becker_sd_rtc.dsk
-LDSKCOCO3FPGAROM	= $(DISTRONAME)_bootrom.dsk
-LDSKCOCO3FPGAROMDW	= $(DISTRONAME)_bootrom_becker.dsk
-LDSKCOCO3FPGAROMRTC	= $(DISTRONAME)_bootrom_rtc.dsk
+LDSKCOCO3FPGAROM	= $(DISTRONAME)_bootrom.img
+LDSKCOCO3FPGAROMDW	= $(DISTRONAME)_bootrom_becker.img
+LDSKCOCO3FPGAROMRTC	= $(DISTRONAME)_bootrom_rtc.img
 
 DSKS		=  $(DSKCOCO3FPGADW) $(DSKCOCO3FPGADWSD) $(DSKCOCO3FPGADWSDRTC) \
 		$(DSKCOCO3FPGAROM) $(DSKCOCO3FPGAROMDW) $(DSKCOCO3FPGAROMRTC)