this change should let the build select the kernel config to use
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 4 Mar 2010 14:46:46 +0000 (14:46 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 4 Mar 2010 14:46:46 +0000 (14:46 +0000)
default is to search config after pldistro like we did before
but can be overridden in the mk file with e.g.
kernel-SPECVARS := kernelconfig=planetlab


No differences found