[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (
|
From: |
Paolo Bonzini |
|
Subject: |
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (and 'clean') |
|
Date: |
Mon, 15 Jun 2020 09:13:43 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 |
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.
Paolo