diff options
| -rwxr-xr-x | make-boot-image.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/make-boot-image.sh b/make-boot-image.sh index 1582f20..d81124d 100755 --- a/make-boot-image.sh +++ b/make-boot-image.sh @@ -538,8 +538,7 @@ chmod +x "$WORKDIR/initrd/bin/sinkdo" # Workaround : some kernel version forget to update embed initramfs in certain cases [ -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:-4} ) # Copy / run result EFI file # |