1 2 3 4 5 6 7 8 9 10
# $Id$ # # This file is sourced AFTER defaults/config.sh; generic options should be set there. # Arch-specific options that normally shouldn't be changed. # KERNEL_MAKE_DIRECTIVE="vmlinux" KERNEL_MAKE_DIRECTIVE_2="" KERNEL_BINARY="vmlinux" NOCOLOR="true"