Processed: Re: Bug#879981: gcc-7-plugin-dev: Missing several generated headers

2017-10-30 Thread Debian Bug Tracking System
Processing control commands: > tags -1 + moreinfo Bug #879981 [gcc-7-plugin-dev] gcc-7-plugin-dev: Missing several generated headers Added tag(s) moreinfo. -- 879981: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879981 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#879981: gcc-7-plugin-dev: Missing several generated headers

2017-10-30 Thread Matthias Klose
Control: tags -1 + moreinfo On 28.10.2017 00:28, Ben Longbons wrote: > Package: gcc-7-plugin-dev > Version: 7.2.0-11 > Severity: important > > Dear Maintainer, > > Several of the GCC plugin headers are unusable due to missing files. > > I have verified that at least some of this also applies to

Bug#879981: gcc-7-plugin-dev: Missing several generated headers

2017-10-27 Thread Ben Longbons
Package: gcc-7-plugin-dev Version: 7.2.0-11 Severity: important Dear Maintainer, Several of the GCC plugin headers are unusable due to missing files. I have verified that at least some of this also applies to gcc-[568]-plugin-dev, but I did my main testing against GCC 7. The following identifi