[PATCH] .gitignore: add linux/linux

[Chen Jingpiao]

On 06/28 01:10, Zhibin Li wrote:
> Yes I noticed that. That's exactly why we should add dir linux/linux into
> .gitignore because it's no longer in the repo. According to the commit
> message from 15003d43 "<linux/signal.h> can be used along with <signal.h>,
> install linux/linux/signal.h workaround if they cannot be used together",
> linux/linux/signal.h will be created conditionally, which means in some
> cases this will become an untracked file if I'm understanding right.

Sorry, my mistake. Can we only ignore linux/linux/signal.h instead of
entire directory?

> 
> Zhibin Li
> On Thu, Jun 28, 2018 at 12:40 AM Chen Jingpiao <chenjingpiao at gmail.com>
> wrote:
> 
> > On 06/28 12:02, Zhibin Li wrote:
> > > Ignore directory linux/linux created by workaround from commit 15003d43.
> >
> > linux/linux directory was introduced by commit v4.22-356-gb27397a7, and
> > have removed in commit v4.23-11-g15003d43
> >
> > > ---
> > >  .gitignore | 1 +
> > >  1 file changed, 1 insertion(+)
> > >
> > > diff --git a/.gitignore b/.gitignore
> > > index 13c196d9..757179e7 100644
> > > --- a/.gitignore
> > > +++ b/.gitignore
> > > @@ -34,6 +34,7 @@
> > >  /libmpers-m32.a
> > >  /libmpers-mx32.a
> > >  /libstrace.a
> > > +/linux/linux
> > >  /m32_funcs.h
> > >  /m32_printer_decls.h
> > >  /m32_printer_defs.h
> > > --
> > > 2.14.4
> >

--
Chen Jingpiao