From b1ff016f3f422c47b5c65a4d3ebfc449f1fd5743 Mon Sep 17 00:00:00 2001
From: Leah Woods <info@minifree.org>
Date: Thu, 19 May 2016 22:25:09 -0400
Subject: Don't use SeaVGABIOS on systems that use SeaGRUB

---
(limited to 'resources/scripts/helpers/build/clean/seabios')

diff --git a/resources/scripts/helpers/build/clean/seabios b/resources/scripts/helpers/build/clean/seabios
index 5ce206a..0ab0ef2 100755
--- a/resources/scripts/helpers/build/clean/seabios
+++ b/resources/scripts/helpers/build/clean/seabios
@@ -31,6 +31,7 @@ printf "Cleaning the previous build of seabios\n"
 
 (
 cd "seabios/"
+rm -f "out/bios.bin.vga.elf"
 make distclean
 )
 
--
cgit v0.9.1