diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-02-13 19:31:19 (EST) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-02-13 19:31:39 (EST) |
| commit | 8984d9a75483f644ad614de35bde78ee73a79f37 (patch) | |
| tree | dd5a18b86e176feb1d12388a3a91b7785c989c58 /getgrubinvaders | |
| parent | 4ebfb52f2418adf73405c90771c1b080644afed0 (diff) | |
| download | libreboot-8984d9a75483f644ad614de35bde78ee73a79f37.zip libreboot-8984d9a75483f644ad614de35bde78ee73a79f37.tar.gz libreboot-8984d9a75483f644ad614de35bde78ee73a79f37.tar.bz2 | |
Delete GRUB Invaders from libreboot
Diffstat (limited to 'getgrubinvaders')
| -rwxr-xr-x | getgrubinvaders | 66 |
1 files changed, 0 insertions, 66 deletions
diff --git a/getgrubinvaders b/getgrubinvaders deleted file mode 100755 index 3dab56d..0000000 --- a/getgrubinvaders +++ /dev/null @@ -1,66 +0,0 @@ -#!/bin/bash - -# getmt86: Downloads gRUB Invaders and patches it -# -# Copyright (C) 2014 Francis Rowe <info@gluglug.org.uk> -# -# 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/>. -# - -set -u -e -v - -# Get the last version of GRUB invaders used, apply patches, build it. - -# Remove the old version that may exist -# ---------------------------------------------------------------------------------- - -rm -rf grubinvaders - -# Get latest memtest86+: -# ---------------------------------------------------------------------------------- - -# download it using wget -wget http://www.erikyyy.de/invaders/invaders-1.0.0.tar.gz - -# extract it -tar -xf "invaders-1.0.0.tar.gz" - -# delete the tar file (no longer needed) -rm -f "invaders-1.0.0.tar.gz" - -# rename directory (for consistency with script names) -mv invaders grubinvaders - -# there are modifications required -cd grubinvaders/ - -# Apply necessary patches -# --------------------------------------------------------------------------------- - -# Apply patch mentioned on http://www.coreboot.org/GRUB_invaders -cp ../resources/grubinvaders/patch/diff.patch . -cp ../resources/grubinvaders/patch/compile.sh.patch . -patch < diff.patch -patch compile.sh < compile.sh.patch - -# delete the copy of the patch (no longer needed) -rm -f diff.patch -rm -f compile.sh.patch - -# we're done -cd ../ - -# ------------------- DONE ---------------------- - - |