4 if [ "${CMD_ARCHOVERRIDE}" != "" ]
6 ARCH=${CMD_ARCHOVERRIDE}
18 ARCH_CONFIG="${GK_SHARE}/${ARCH}/config.sh"
19 [ ! -f "${ARCH_CONFIG}" ] && gen_die "ARCH: ${ARCH} not yet supported by genkernel. Please add arch-specific config file ${ARCH_CONFIG}"