Philippe Mathieu-Daudé writes:
> On 15/2/23 14:28, Markus Armbruster wrote:
>> "Michael S. Tsirkin" writes:
>>
>>> On Fri, Dec 23, 2022 at 06:27:07AM +0100, Markus Armbruster wrote:
"Michael S. Tsirkin" writes:
[...]
> It would be even better if there was e.g. a make target
> pu
On 15/2/23 14:28, Markus Armbruster wrote:
"Michael S. Tsirkin" writes:
On Fri, Dec 23, 2022 at 06:27:07AM +0100, Markus Armbruster wrote:
"Michael S. Tsirkin" writes:
On Thu, Dec 22, 2022 at 11:48:25AM +0100, Markus Armbruster wrote:
Bernhard Beschow writes:
Am 22. Dezember 2022 10:03
"Michael S. Tsirkin" writes:
> On Fri, Dec 23, 2022 at 06:27:07AM +0100, Markus Armbruster wrote:
>> "Michael S. Tsirkin" writes:
>>
>> > On Thu, Dec 22, 2022 at 11:48:25AM +0100, Markus Armbruster wrote:
>> >> Bernhard Beschow writes:
>> >>
>> >> > Am 22. Dezember 2022 10:03:23 UTC schrieb M
On Fri, Dec 23, 2022 at 06:27:07AM +0100, Markus Armbruster wrote:
> "Michael S. Tsirkin" writes:
>
> > On Thu, Dec 22, 2022 at 11:48:25AM +0100, Markus Armbruster wrote:
> >> Bernhard Beschow writes:
> >>
> >> > Am 22. Dezember 2022 10:03:23 UTC schrieb Markus Armbruster
> >> > :
> >> >>Back
Am 23. Dezember 2022 05:27:07 UTC schrieb Markus Armbruster :
>"Michael S. Tsirkin" writes:
>
>> On Thu, Dec 22, 2022 at 11:48:25AM +0100, Markus Armbruster wrote:
>>> Bernhard Beschow writes:
>>>
>>> > Am 22. Dezember 2022 10:03:23 UTC schrieb Markus Armbruster
>>> > :
>>> >>Back in 2016, w
"Michael S. Tsirkin" writes:
> On Thu, Dec 22, 2022 at 11:48:25AM +0100, Markus Armbruster wrote:
>> Bernhard Beschow writes:
>>
>> > Am 22. Dezember 2022 10:03:23 UTC schrieb Markus Armbruster
>> > :
>> >>Back in 2016, we discussed[1] rules for headers, and these were
>> >>generally liked:
>>
On Thu, Dec 22, 2022 at 11:48:25AM +0100, Markus Armbruster wrote:
> Bernhard Beschow writes:
>
> > Am 22. Dezember 2022 10:03:23 UTC schrieb Markus Armbruster
> > :
> >>Back in 2016, we discussed[1] rules for headers, and these were
> >>generally liked:
> >>
> >>1. Have a carefully curated head
Bernhard Beschow writes:
> Am 22. Dezember 2022 10:03:23 UTC schrieb Markus Armbruster
> :
>>Back in 2016, we discussed[1] rules for headers, and these were
>>generally liked:
>>
>>1. Have a carefully curated header that's included everywhere first. We
>> got that already thanks to Peter: osd
Am 22. Dezember 2022 10:03:23 UTC schrieb Markus Armbruster :
>Back in 2016, we discussed[1] rules for headers, and these were
>generally liked:
>
>1. Have a carefully curated header that's included everywhere first. We
> got that already thanks to Peter: osdep.h.
>
>2. Headers should normall
Back in 2016, we discussed[1] rules for headers, and these were
generally liked:
1. Have a carefully curated header that's included everywhere first. We
got that already thanks to Peter: osdep.h.
2. Headers should normally include everything they need beyond osdep.h.
If exceptions are need
10 matches
Mail list logo