HomeSort by: relevance | last modified time | path
    Searched refs:EXTRA_KERNELS (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/conf/
Makefile.kern.inc 279 EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.gdb@}
387 ${EXTRA_KERNELS} ${EXTRA_CLEAN}
392 @echo "${KERNELS} ${EXTRA_KERNELS}"
  /src/etc/
Makefile 542 # EXTRA_KERNELS Additional kernels to place in the
566 ALL_KERNELS?= ${KERNEL_SETS} ${EXTRA_KERNELS} ${BUILD_KERNELS}
654 # Build kernel.gz from ${KERNEL_SETS} ${EXTRA_KERNELS} into
657 .for configfile in ${KERNEL_SETS:O:u} ${EXTRA_KERNELS:O:u} # {
682 .endfor # KERNEL_SETS EXTRA_KERNELS # }

Completed in 12 milliseconds