fix the kernel-debug cleanup workaround
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 22 Jul 2010 13:58:21 +0000 (15:58 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 22 Jul 2010 13:58:21 +0000 (15:58 +0200)
commit5746de119350bdada4d671eaa5735433f79cedd4
treedc3a79796737319ea7b4d6f850083351f0bff965
parent524f94cca7cbdc864dee59a8af862988b70fd3d3
fix the kernel-debug cleanup workaround
build.common