diff options
Diffstat (limited to 'resources/scripts/helpers/build/clean/grub')
| -rwxr-xr-x | resources/scripts/helpers/build/clean/grub | 5 |
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" |