From 5269566a6c37151015dea0d4cf78f341cca0669c Mon Sep 17 00:00:00 2001 From: Leah Woods Date: Tue, 17 May 2016 08:19:29 +0100 Subject: Implement SeaGRUB and make it the default payload on all current GRUB boards --- resources/scripts/helpers/build/clean/grub | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'resources/scripts/helpers/build/clean/grub') diff --git a/resources/scripts/helpers/build/clean/grub b/resources/scripts/helpers/build/clean/grub index fb16ffb9..8e87b47a 100755 --- a/resources/scripts/helpers/build/clean/grub +++ b/resources/scripts/helpers/build/clean/grub @@ -2,7 +2,7 @@ # helper script: clean the dependencies that were built in GRUB # -# Copyright (C) 2014, 2015 Leah Woods +# Copyright (C) 2014, 2015, 2016 Leah Woods # Copyright (C) 2015 Klemens Nanni # # This program is free software: you can redistribute it and/or modify @@ -29,4 +29,7 @@ printf "Cleaning the previous build of GRUB\n" # clean GURB [ -d grub/Makefile ] && make -C grub distclean +# Also clean SeaBIOS +./build clean seabios + printf "\n\n" -- cgit v1.2.3-70-g09d2