From 4341454912385a1d6fe1a2845d9a639c051bff44 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 13 Nov 2018 16:05:47 +0100
Subject: extra/sbcl: remove obsolete patch

---
 extra/sbcl/PKGBUILD           |   7 -------
 extra/sbcl/x86-linux-os.patch | Bin 3510 -> 0 bytes
 2 files changed, 7 deletions(-)
 delete mode 100644 extra/sbcl/PKGBUILD
 delete mode 100644 extra/sbcl/x86-linux-os.patch

(limited to 'extra')

diff --git a/extra/sbcl/PKGBUILD b/extra/sbcl/PKGBUILD
deleted file mode 100644
index 0034df83..00000000
--- a/extra/sbcl/PKGBUILD
+++ /dev/null
@@ -1,7 +0,0 @@
-source+=('x86-linux-os.patch')
-sha256sums+=('3ba738c461a8836171b424b5881ad5aaa63071f54bc5d207e72cae4c1be3738a')
-
-prepare() {
-  cd "${srcdir}/${pkgname}-${pkgver}"
-  patch -Np1 -i ../x86-linux-os.patch
-}
diff --git a/extra/sbcl/x86-linux-os.patch b/extra/sbcl/x86-linux-os.patch
deleted file mode 100644
index c1fd12b7..00000000
Binary files a/extra/sbcl/x86-linux-os.patch and /dev/null differ
-- 
cgit v1.2.3-54-g00ecf