Presently the ${CORES} is defined automatically in the build_kernel.sh script. This pull-request permits a user to override this auto-detection with a manual setting in the system.sh 'user' config script. It is then tested for existence in build_kernel, and defined only if necessary.
Presently the ${CORES} is defined automatically in the build_kernel.sh script. This pull-request permits a user to override this auto-detection with a manual setting in the system.sh 'user' config script. It is then tested for existence in build_kernel, and defined only if necessary.