From 4ebfb52f2418adf73405c90771c1b080644afed0 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Fri, 13 Feb 2015 18:38:47 -0500
Subject: Delete SeaBIOS from libreboot.

It was virtually useless. Noone used it. SeaBIOS is easy enough
to build from source if someone wants to use it from now on.
---
(limited to 'build-release')

diff --git a/build-release b/build-release
index 8eb733e..d95ee51 100755
--- a/build-release
+++ b/build-release
@@ -115,12 +115,6 @@ rm -rf .git
 rm -f .gitignore
 cd ../
 
-# SeaBIOS:
-cd seabios/
-rm -rf .git
-rm -f .gitignore
-cd ../
-
 cd ../
 
 # ### Prepare ROM archives ready for release
@@ -141,17 +135,6 @@ echo "Preparing libreboot_util release archive"
 
 mkdir libreboot_util
 
-# ---------------
-# SeaBIOS related
-# ---------------
-# Include SeaBIOS and SeaVGABIOS option ROM in the binary archive
-cp seabios/out/vgabios.bin libreboot_util/
-cp seabios/out/bios.bin.elf libreboot_util/
-# Add the script for it
-cp addseabios libreboot_util/
-# Menu entry to be added to grub configs
-cp resources/grub/config/seabios.cfg libreboot_util/
-
 # --------------
 # BUC.TS related
 # --------------
@@ -373,7 +356,6 @@ rm -f libreboot_src/getflashrom
 rm -f libreboot_src/getgrub
 rm -f libreboot_src/getgrubinvaders
 rm -f libreboot_src/getmt86
-rm -f libreboot_src/getseabios
 
 # ich9deblob: there are certain files in there
 # that the user most likely does not want to share
--
cgit v0.9.1