diff options
| -rwxr-xr-x | make-boot-image.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-boot-image.sh b/make-boot-image.sh index 78a4ada..62a588e 100755 --- a/make-boot-image.sh +++ b/make-boot-image.sh @@ -345,7 +345,7 @@ chmod +x "$WORKDIR/initrd/init" [ -f usr/initramfs_data.cpio.gz ] && rm usr/initramfs_data.cpio.gz nproc=$(nproc --all) nproc=${nproc:-4} - make -j ${nproc+1} + make -j $((nproc+1)) ) # Copy / run result EFI file # |