diff options
| -rw-r--r-- | PKGBUILD | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -16,7 +16,11 @@ pkgbase=linux-libre _majver=5.0 _minver=13 -pkgver=${_majver}.${_minver} + if [ "$_minver" == "0" ]; then + pkgver=${_majver} + else + pkgver=${_majver}.${_minver} + fi _gnumajver=${_majver}-gnu _gnupkgver=${pkgver}-gnu _gcc_more_v='20180509' @@ -105,7 +109,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 |