# HG changeset patch # User Tormod Volden # Date 1486424248 -3600 # Node ID d29a92fff7f27af780927e848969cb41c70366dc # Parent adc28092355b66b37c9e0f7a33090fe2cf1fdc05 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. diff -r adc28092355b -r d29a92fff7f2 level2/coco3fpga/makefile --- 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)