[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] fix make clean/distclean
|
From: |
Philippe Mathieu-Daudé |
|
Subject: |
Re: [PATCH] fix make clean/distclean |
|
Date: |
Thu, 5 Nov 2020 13:47:53 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.3.1 |
On 11/5/20 1:45 PM, Paolo Bonzini wrote:
> A misplaced $(quiet-@) meant that "make clean" and "make distclean" did
> not work properly.
>
> Reported-by: Philippe Mathieu-Daudé <philmd@redhat.com>
> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
> ---
> Makefile | 6 +++---
> 1 file changed, 3 insertions(+), 3 deletions(-)
Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Thanks for the quick fix!