diff options
Diffstat (limited to 'libre/linux-libre-rt/0005-Set-distribution-specific-version.patch')
| -rw-r--r-- | libre/linux-libre-rt/0005-Set-distribution-specific-version.patch | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/libre/linux-libre-rt/0005-Set-distribution-specific-version.patch b/libre/linux-libre-rt/0005-Set-distribution-specific-version.patch new file mode 100644 index 000000000..3bea6e3cc --- /dev/null +++ b/libre/linux-libre-rt/0005-Set-distribution-specific-version.patch @@ -0,0 +1,38 @@ +From 556a05b87c58b0e7dafa3107d7534dfcbdcf00ee Mon Sep 17 00:00:00 2001 +From: David Runge <dvzrv@archlinux.org> +Date: Sun, 18 Jun 2023 10:28:50 +0200 +Subject: [PATCH 5/5] Set distribution specific version + +Remove upstream's localversion file and instead append our distribution +specific identifier using `EXTRAVERSION`. + +Signed-off-by: David Runge <dvzrv@archlinux.org> +--- + Makefile | 2 +- + localversion-rt | 1 - + 2 files changed, 1 insertion(+), 2 deletions(-) + delete mode 100644 localversion-rt + +diff --git a/Makefile b/Makefile +index ee4e504a3e78..a8ac0fdc967d 100644 +--- a/Makefile ++++ b/Makefile +@@ -2,7 +2,7 @@ + VERSION = 6 + PATCHLEVEL = 6 + SUBLEVEL = 5 +-EXTRAVERSION = ++EXTRAVERSION = .16.realtime1 + NAME = Hurr durr I'ma ninja sloth + + # *DOCUMENTATION* +diff --git a/localversion-rt b/localversion-rt +deleted file mode 100644 +index 1199ebade17b..000000000000 +--- a/localversion-rt ++++ /dev/null +@@ -1 +0,0 @@ +--rt16 +-- +2.43.0 + |