#!/bin/bash
# $Id$
+# Fills variable KERNEL_CONFIG
determine_config_file() {
if [ "${CMD_KERNEL_CONFIG}" != "" ]
then
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...'
- compile_generic menuconfig runtask
+ compile_generic menuconfig kernelruntask
[ "$?" ] || gen_die 'Error: menuconfig failed!'
elif isTrue ${CMD_GCONFIG}
then