On 2011-05-04 19:58, Andreas Färber wrote: > 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. :) Already called it precisely like this. :) I will re-post my series when the licensing things are clarified. Jan -- Siemens AG, Corporate Technology, CT T DE IT 1 Corporate Competence Center Embedded Linux -- 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
