Re: [gentoo-dev] [PATCH 1/6] profiles: add global USE flag 'split-usr'

2019-07-15 Thread Mike Gilbert
On Sun, Jul 14, 2019 at 11:29 PM Michał Górny wrote: > > On Sun, 2019-07-14 at 19:50 -0400, Mike Gilbert wrote: > > Signed-off-by: Mike Gilbert > > --- > > profiles/use.desc | 1 + > > 1 file changed, 1 insertion(+) > > > > diff --git a/profiles/use.desc b/profiles/use.desc > > index

Re: [gentoo-dev] [PATCH 1/6] profiles: add global USE flag 'split-usr'

2019-07-15 Thread William Hubbs
On Mon, Jul 15, 2019 at 05:29:28AM +0200, Michał Górny wrote: > On Sun, 2019-07-14 at 19:50 -0400, Mike Gilbert wrote: > > Signed-off-by: Mike Gilbert > > --- > > profiles/use.desc | 1 + > > 1 file changed, 1 insertion(+) > > > > diff --git a/profiles/use.desc b/profiles/use.desc > > index

Re: [gentoo-dev] [PATCH 1/6] profiles: add global USE flag 'split-usr'

2019-07-14 Thread Michał Górny
On Sun, 2019-07-14 at 19:50 -0400, Mike Gilbert wrote: > Signed-off-by: Mike Gilbert > --- > profiles/use.desc | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/profiles/use.desc b/profiles/use.desc > index fc19bbd0bbaa..ec5d4d6bc594 100644 > --- a/profiles/use.desc > +++