libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit e897f56253ef951482c2d2c525caa7c97907630c
parent 6f6d228fd230f94e91e7b42eacb2aa222bd52fb3
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Thu, 15 Oct 2015 00:12:19 +0100

build/clean/seabios: use distclean, not clean

Diffstat:
resources/scripts/helpers/build/clean/seabios | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/scripts/helpers/build/clean/seabios b/resources/scripts/helpers/build/clean/seabios @@ -30,7 +30,7 @@ set -u -e printf "Cleaning the previous build of seabios\n" cd seabios/ -make clean +make distclean printf "\n\n"