Enable PARALLEL even if MAKE_PARALLELISM is also set
# Do some build configuration after processing command line
# and user settings file
-if (( ${PARALLEL} && ${MAKE_PARALLELISM} == 1))
+if (( ${PARALLEL} ))
then
# Auto-configure parallelism based on /proc/cpuinfo
if [[ -f /proc/cpuinfo ]]
