Re: [Qemu-devel] [PULL v2 0/4] Build system patches for 2019-07-02

[Peter Maydell]

On Wed, 3 Jul 2019 at 12:49, Markus Armbruster <address@hidden> wrote:
>
> The following changes since commit ab200dafc0e8a9925bb0ad0be478621f5f117c95:
>
>   Merge remote-tracking branch 'remotes/stefanha/tags/block-pull-request' 
> into staging (2019-07-02 10:17:54 +0100)
>
> are available in the Git repository at:
>
>   git://repo.or.cz/qemu/armbru.git tags/pull-build-2019-07-02-v2
>
> for you to fetch changes up to 1338a4b72659ce08eacb9de0205fe16202a22d9c:
>
>   Makefile: Reuse all's recursion machinery for clean and install (2019-07-03 
> 13:19:19 +0200)
>
> ----------------------------------------------------------------
> Build system patches for 2019-07-02
>
> v2:
> * PATCH 3: Add compatibility gunk to keep make working across the rename
>
> ----------------------------------------------------------------
> Markus Armbruster (4):
>       Makefile: Remove code to smooth transition to config.status
>       Makefile: Drop bogus cleaning of $(ALL_SUBDIRS)/qemu-options.def
>       Makefile: Rename targets for make recursion
>       Makefile: Reuse all's recursion machinery for clean and install


Applied, thanks.

Please update the changelog at https://wiki.qemu.org/ChangeLog/4.1
for any user-visible changes.

-- PMM