From 3d08effb91acf985bae9c4eb4386937ce7ed92a9 Mon Sep 17 00:00:00 2001 From: Paul Kocialkowski Date: Fri, 23 Dec 2016 14:13:48 +0100 Subject: Current build system removal Signed-off-by: Paul Kocialkowski --- resources/scripts/helpers/build/clean/grub | 35 ------------------------------ 1 file changed, 35 deletions(-) delete mode 100755 resources/scripts/helpers/build/clean/grub (limited to 'resources/scripts/helpers/build/clean/grub') diff --git a/resources/scripts/helpers/build/clean/grub b/resources/scripts/helpers/build/clean/grub deleted file mode 100755 index 2b2f6a5d..00000000 --- a/resources/scripts/helpers/build/clean/grub +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/bash - -# helper script: clean the dependencies that were built in GRUB -# -# Copyright (C) 2014, 2015, 2016 Leah 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 -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see . -# - -# This script assumes that the current working directory is the root -# of git or release archive - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -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