[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (
From: |
Thomas Huth |
Subject: |
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (and 'clean') |
Date: |
Mon, 15 Jun 2020 09:46:16 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 15/06/2020 09.13, Paolo Bonzini wrote:
> On 15/06/20 07:17, Thomas Huth wrote:
>> That depends ... Marc-André, Paolo, what's the status of the meson patch
>> series? Do you think it will be merged for the next release already? If
>> so, it does not make much sense to respin my distclean patch. Otherwise
>> I could do another iteration...
>
> I prefer to aim for 5.2, making it the very first series merged there
> and forcing everyone else to rebase.
Ok, so I think it's likely really not worth the effort to respin this
rather cosmetic patch just for one single release.
Aleksandar, I won't work on this patch anymore, but if it is still
important for you, feel free to take the patch and send an updated version.
Thomas