From 9a4e9bb75aee17ec7d5ee288dfbe1045bfc568c0 Mon Sep 17 00:00:00 2001 From: Klemens Nanni Date: Sat, 21 Nov 2015 17:14:22 +0100 Subject: build/clean/*: Use make properly (-C flag) Instead of manually cd'ing into and out of directories, use make's -C flag. --- resources/scripts/helpers/build/clean/grub | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) (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 e4b4a656..6c96e851 100755 --- a/resources/scripts/helpers/build/clean/grub +++ b/resources/scripts/helpers/build/clean/grub @@ -3,6 +3,7 @@ # helper script: clean the dependencies that were built in GRUB # # Copyright (C) 2014, 2015 Francis Rowe +# Copyright (C) 2015 Klemens Nanni # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -19,20 +20,13 @@ # # This script assumes that the current working directory is the root -# of libreboot_src or libreboot git +# of git or release archive [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e -# clean grub -# -------------------------------------------------------- - -cd "grub/" - printf "Cleaning the previous build of GRUB\n" -[ -f "Makefile" ] && make distclean - -# done. go back to main directoy -cd "../" +# clean GURB +make -C grub distclean printf "\n\n" -- cgit v1.2.3-70-g09d2