From bc0925e499d3e9cf4630ed76cdfc6e46ba644f99 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jeremy@system76.com>
Date: Thu, 24 Dec 2020 12:44:26 -0700
Subject: [PATCH] Do not build coreboot image, it is broken

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index eafa485..88b3f05 100644
--- a/Makefile
+++ b/Makefile
@@ -67,14 +67,12 @@ include mk/virtualbox.mk
 # CI image target
 ci-img: FORCE
 	$(MAKE) INSTALLER_FLAGS= \
-		build/coreboot.elf.gz \
 		build/harddrive.bin.gz \
 		build/livedisk.iso.gz \
 		build/harddrive-efi.bin.gz \
 		build/livedisk-efi.iso.gz
 	rm -rf build/img
 	mkdir -p build/img
-	cp "build/coreboot.elf.gz" "build/img/redox_$(IMG_TAG)_coreboot.elf.gz"
 	cp "build/harddrive.bin.gz" "build/img/redox_$(IMG_TAG)_harddrive.bin.gz"
 	cp "build/livedisk.iso.gz" "build/img/redox_$(IMG_TAG)_livedisk.iso.gz"
 	cp "build/harddrive-efi.bin.gz" "build/img/redox_$(IMG_TAG)_harddrive-efi.bin.gz"