diff options
| -rw-r--r-- | PKGBUILD | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -17,7 +17,11 @@ pkgbase=linux-libre-hardened _majver=5.0 _minver=12 -_pkgver=${_majver}.${_minver} + if [ "$_minver" == "0" ]; then + pkgver=${_majver} + else + pkgver=${_majver}.${_minver} + fi _gnumajver=${_majver}-gnu _gnupkgver=${_pkgver}-gnu _hardenedver=a @@ -117,7 +121,9 @@ prepare() { make menuconfig # Remove sublevel when no sublevel exists -# sed -i '/SUBLEVEL = 0/d' Makefile + if [ "$_minver" == "0" ]; then + sed -i '/SUBLEVEL = 0/d' Makefile + fi make -s kernelrelease > ../version |