config/kernel.in
changeset 1870 a4c4e51aa541
parent 1502 472cfde636a1
child 1976 2d90ec981ba3
     1.1 --- a/config/kernel.in	Sun Aug 30 16:54:30 2009 +0200
     1.2 +++ b/config/kernel.in	Mon Mar 29 20:24:50 2010 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  config KERNEL_VERSION
     1.5      string
     1.6  
     1.7 -source config.gen/kernel.in
     1.8 +source "config.gen/kernel.in"
     1.9  
    1.10  comment "Common kernel options"
    1.11