diff options
Diffstat (limited to 'core/ports/linux-libre/port-libre-make.patch')
| -rw-r--r-- | core/ports/linux-libre/port-libre-make.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/core/ports/linux-libre/port-libre-make.patch b/core/ports/linux-libre/port-libre-make.patch deleted file mode 100644 index 51bf8b6..0000000 --- a/core/ports/linux-libre/port-libre-make.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- Makefile 2017-02-18 04:48:37.675782509 +0000 -+++ Makefile.orig 2017-02-18 04:48:23.425783067 +0000 -@@ -1,7 +1,7 @@ - VERSION = 4 - PATCHLEVEL = 9 - SUBLEVEL = 12 --EXTRAVERSION = -gnu -+EXTRAVERSION = -grsec - NAME = Roaring Lionus - - # *DOCUMENTATION* |