3 # Arch-specific options that normally shouldn't be changed.
5 KERNEL_MAKE_DIRECTIVE="boot"
6 KERNEL_MAKE_DIRECTIVE_2=""
7 KERNEL_BINARY="arch/alpha/boot/vmlinux.gz"
12 # Arch-specific defaults that can be overridden in the config file or on the
15 DEFAULT_MAKEOPTS="-j2"
17 DEFAULT_KERNEL_MAKE=make
18 DEFAULT_UTILS_MAKE=make