Am 04.05.2011 um 12:28 schrieb Jan Kiszka:
On 2011-05-03 22:22, Peter Maydell wrote:
On 3 May 2011 17:48, Jan Kiszka <jan.kiszka@xxxxxxxxxxx> wrote:
+++ b/scripts/update-linux-headers.sh
+rm -rf $output/include/linux/*
Given that updating the kernel headers will blow away large
subsets of include/ like this, maybe we should use a less generic
name than "include", so it's clear that it's just a set of
automatically maintained and updated files, rather than
a good place to put random QEMU header files?
kernel-headers/ seems like an obvious choice.
[...] these suggestion all make sense. I've incorporated them.
If we're talking about a new directory inside the QEMU tree, mind to
name it linux-headers or so? There are other kernels besides The One. :)
Andreas
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html