config/kernel_cygwin.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Apr 11 21:26:03 2007 +0000 (2007-04-11)
changeset 37 21bcbfde8094
permissions -rw-r--r--
Add an option for those having the kernel headers pre-installed from a customised local tree.
In that case, neither download, nor extract, nor patch.
     1 # Cygwin 'kernel' options
     2 
     3 config KERNEL
     4     string
     5     default "cygwin"