config/kernel_cygwin.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun May 06 21:47:29 2007 +0000 (2007-05-06)
changeset 62 651912c5477c
permissions -rw-r--r--
Linux kernel headers install does not need the kernel to be configured. Dropping this unneccessary step.
     1 # Cygwin 'kernel' options
     2 
     3 config KERNEL
     4     string
     5     default "cygwin"