On Sat, Mar 31, 2012 at 10:50, Paolo Bonzini wrote:
> The special target should not be needed anymore, and caused (perhaps
> due to a Make bug) a failure with "make -j2". In any case, the
> main makefile is a better place for such special targets rather
> than an included makefile.
>
> Reported-b
On Sun, 1 Apr 2012 22:50:57 -0300
Luiz Capitulino wrote:
> On Sat, 31 Mar 2012 12:50:21 +0200
> Paolo Bonzini wrote:
>
> > The special target should not be needed anymore, and caused (perhaps
> > due to a Make bug) a failure with "make -j2". In any case, the
> > main makefile is a better place
On Sat, 31 Mar 2012 12:50:21 +0200
Paolo Bonzini wrote:
> The special target should not be needed anymore, and caused (perhaps
> due to a Make bug) a failure with "make -j2". In any case, the
> main makefile is a better place for such special targets rather
> than an included makefile.
>
> Repo
The special target should not be needed anymore, and caused (perhaps
due to a Make bug) a failure with "make -j2". In any case, the
main makefile is a better place for such special targets rather
than an included makefile.
Reported-by: Luiz Capitulino
Signed-off-by: Paolo Bonzini
---
An