|
|
@ -70,7 +70,7 @@ determine_real_args() {
|
|
|
|
|
|
|
|
|
|
|
|
# Dest / Config File Command Line Arch Default
|
|
|
|
# Dest / Config File Command Line Arch Default
|
|
|
|
# ------------------ ------------ ------------
|
|
|
|
# ------------------ ------------ ------------
|
|
|
|
set_config_with_override STRING DEBUGFILE CMD_DEBUGFILE
|
|
|
|
set_config_with_override STRING LOGFILE CMD_LOGFILE
|
|
|
|
set_config_with_override STRING KERNEL_DIR CMD_KERNEL_DIR "${DEFAULT_KERNEL_SOURCE}"
|
|
|
|
set_config_with_override STRING KERNEL_DIR CMD_KERNEL_DIR "${DEFAULT_KERNEL_SOURCE}"
|
|
|
|
set_config_with_override BOOL NO_KERNEL_SOURCES CMD_NO_KERNEL_SOURCES
|
|
|
|
set_config_with_override BOOL NO_KERNEL_SOURCES CMD_NO_KERNEL_SOURCES
|
|
|
|
set_config_with_override STRING KNAME CMD_KERNNAME "genkernel"
|
|
|
|
set_config_with_override STRING KNAME CMD_KERNNAME "genkernel"
|
|
|
|