Re: [Qemu-devel] [PATCH 02/13] target: arm: Remove unused headers

2018-11-13 Thread Samuel Ortiz
Hi Philippe, On Tue, Nov 13, 2018 at 07:02:57PM +0100, Philippe Mathieu-Daudé wrote: > On 13/11/18 18:01, Peter Maydell wrote: > > On 13 November 2018 at 16:52, Samuel Ortiz wrote: > > > From: Philippe Mathieu-Daudé > > > > > > Signed-off-by: Philippe Mathieu-Daudé > > > Reviewed-by: Robert

Re: [Qemu-devel] [PATCH 02/13] target: arm: Remove unused headers

2018-11-13 Thread Philippe Mathieu-Daudé
On 13/11/18 18:01, Peter Maydell wrote: On 13 November 2018 at 16:52, Samuel Ortiz wrote: From: Philippe Mathieu-Daudé Signed-off-by: Philippe Mathieu-Daudé Reviewed-by: Robert Bradford Reviewed-by: Samuel Ortiz --- target/arm/helper.c | 3 --- 1 file changed, 3 deletions(-) diff

Re: [Qemu-devel] [PATCH 02/13] target: arm: Remove unused headers

2018-11-13 Thread Peter Maydell
On 13 November 2018 at 18:02, Philippe Mathieu-Daudé wrote: > On 13/11/18 18:01, Peter Maydell wrote: >> >> On 13 November 2018 at 16:52, Samuel Ortiz wrote: >>> --- a/target/arm/helper.c >>> +++ b/target/arm/helper.c >>> @@ -12,13 +12,10 @@ >>> #include "internals.h" >>> #include

Re: [Qemu-devel] [PATCH 02/13] target: arm: Remove unused headers

2018-11-13 Thread Philippe Mathieu-Daudé
On Tue, Nov 13, 2018 at 7:08 PM Peter Maydell wrote: > On 13 November 2018 at 18:02, Philippe Mathieu-Daudé > wrote: > > On 13/11/18 18:01, Peter Maydell wrote: > >> On 13 November 2018 at 16:52, Samuel Ortiz wrote: > > >>> --- a/target/arm/helper.c > >>> +++ b/target/arm/helper.c > >>> @@

Re: [Qemu-devel] [PATCH 02/13] target: arm: Remove unused headers

2018-11-13 Thread Peter Maydell
On 13 November 2018 at 16:52, Samuel Ortiz wrote: > From: Philippe Mathieu-Daudé > > Signed-off-by: Philippe Mathieu-Daudé > Reviewed-by: Robert Bradford > Reviewed-by: Samuel Ortiz > --- > target/arm/helper.c | 3 --- > 1 file changed, 3 deletions(-) > > diff --git a/target/arm/helper.c