Web lists-archives.com

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@xxxxxxxxxx>, 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