else
gen_die 'Error: No kernel .config specified, or file not found!'
fi
+ KERNEL_CONFIG="$(readlink -f "${KERNEL_CONFIG}")"
}
config_kernel() {
else
print_info 1 "kernel: --clean is disabled; not running 'make clean'."
fi
-
+
if isTrue ${MENUCONFIG}
then
print_info 1 'kernel: >> Invoking menuconfig...'