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 'deps-trisquel')

diff --git a/deps-trisquel b/deps-trisquel
index 37b2c8f..29b8975 100755
--- a/deps-trisquel
+++ b/deps-trisquel
@@ -59,11 +59,6 @@ fi
 
 apt-get -y install build-essential
 
-# SeaBIOS build dependencies
-# ------------------------------------------------------------
-
-apt-get -y install build-essential
-
 # GRUB Invaders build dependencies
 # ------------------------------------------------------------
 
--
cgit v0.9.1