diff options
-rw-r--r-- | PKGBUILD | 3 | ||||
-rw-r--r-- | PKGBUILD.in | 3 |
2 files changed, 4 insertions, 2 deletions
@@ -82,7 +82,8 @@ prepare() { build() { export NINJA_STATUS="[%p | %f<%r<%u | %cbps ] " - ninja -C "${srcdir}/build" +# shellcheck disable=SC2046 # allow MAKEFLAGS to split when passing multiple flags. + ninja $(grep -oP -- '-+[A-z]+ ?[0-9]*'<<<"${MAKEFLAGS:--j1}") -C "${srcdir}/build" } package() { diff --git a/PKGBUILD.in b/PKGBUILD.in index 82260eeb02cf..bd72ef1f8e47 100644 --- a/PKGBUILD.in +++ b/PKGBUILD.in @@ -82,7 +82,8 @@ prepare() { build() { export NINJA_STATUS="[%p | %f<%r<%u | %cbps ] " - ninja -C "${srcdir}/build" +# shellcheck disable=SC2046 # allow MAKEFLAGS to split when passing multiple flags. + ninja $(grep -oP -- '-+[A-z]+ ?[0-9]*'<<<"${MAKEFLAGS:--j1}") -C "${srcdir}/build" } package() { |