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