Re: DEB_BUILD_OPTIONS vs DEB_BUILD_PROFILES: What is right and what is wrong?
Hi Mattia,
Mattia Rizzolo wrote:
> On Sun, Jan 06, 2019 at 02:55:30AM +0100, Axel Beckert wrote:
> > Johannes Schauer wrote:
> > > > A) lintian by mixing up build tags and build profiles? (Maybe this
> > > > mentioning of build profiles was overseen when fixing #889746.)
> > >
> > > I assume this to be the case.
> >
> > Would be happy to hear, if Mattia sees this the same way.
>
> Yes, it's an oversight. ISTR you have commit rights for lintian, I
> think you should just commit an s/profile/option/ in that description.
Thanks! Done now.
Regards, Axel
--
,''`. | Axel Beckert <abe@debian.org>, https://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
Reply to: