aboutsummaryrefslogtreecommitdiff
path: root/resources/scripts/helpers/build/clean/grub
diff options
context:
space:
mode:
authorLeah Woods <info@minifree.org>2016-05-17 08:19:29 +0100
committerLeah Woods <info@minifree.org>2016-05-18 20:24:09 +0100
commit5269566a6c37151015dea0d4cf78f341cca0669c (patch)
tree9ae3f31ec51f53957b446c7f21332e42034f7e18 /resources/scripts/helpers/build/clean/grub
parentf6e141b3e2a796fe45b60641417c85234d399436 (diff)
downloadlibrebootfr-5269566a6c37151015dea0d4cf78f341cca0669c.tar.gz
librebootfr-5269566a6c37151015dea0d4cf78f341cca0669c.zip
Implement SeaGRUB and make it the default payload on all current GRUB boards
Diffstat (limited to 'resources/scripts/helpers/build/clean/grub')
-rwxr-xr-xresources/scripts/helpers/build/clean/grub5
1 files changed, 4 insertions, 1 deletions
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 <info@minifree.org>
+# Copyright (C) 2014, 2015, 2016 Leah Woods <info@minifree.org>
# Copyright (C) 2015 Klemens Nanni <contact@autoboot.org>
#
# 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"