summaryrefslogtreecommitdiff
path: root/resources/scripts/build/clean/grub
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/build/clean/grub')
-rwxr-xr-xresources/scripts/build/clean/grub39
1 files changed, 0 insertions, 39 deletions
diff --git a/resources/scripts/build/clean/grub b/resources/scripts/build/clean/grub
deleted file mode 100755
index dea2c2dd..00000000
--- a/resources/scripts/build/clean/grub
+++ /dev/null
@@ -1,39 +0,0 @@
-#!/usr/bin/env sh
-
-# helper script: clean the dependencies that were built in GRUB
-#
-# Copyright (C) 2014, 2015, 2016 Leah Rowe <info@minifree.org>
-# Copyright (C) 2015 Klemens Nanni <contact@autoboot.org>
-#
-# 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 <http://www.gnu.org/licenses/>.
-#
-
-# 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"
-
-[ ! -d "grub/" ] && exit 0
-
-(
- cd grub/
- if [ -f Makefile ]; then
- make distclean
- fi
-)
-
-printf "\n\n"