Processed: Re: Bug#905539: gcc-7 FTBFS with isl 0.20 + gcc-6

2018-08-08 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > tags 905539 patch Bug #905539 [src:gcc-7] gcc-7 FTBFS with isl 0.20 Added tag(s) patch. > thanks Stopping processing here. Please contact me if you need assistance. -- 905539: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=905539 Debian Bug T

Re: Bug#905539: gcc-7 FTBFS with isl 0.20 + gcc-6

2018-08-08 Thread Svante Signell
tags 905539 patch thanks On Sun, 2018-08-05 at 21:37 +0200, Svante Signell wrote: > On Sun, 2018-08-05 at 20:52 +0200, Helmut Grohne wrote: > > Source: gcc-7 > > Version: 7.3.0-27 > > Severity: serious > > Tags: ftbfs > > User: helm...@debian.org > > Usertags: rebootstrap > > > > Hi Matthias, > >

Re: Bug#905539: gcc-7 FTBFS with isl 0.20 + gcc-6

2018-08-05 Thread Svante Signell
On Sun, 2018-08-05 at 20:52 +0200, Helmut Grohne wrote: > Source: gcc-7 > Version: 7.3.0-27 > Severity: serious > Tags: ftbfs > User: helm...@debian.org > Usertags: rebootstrap > > Hi Matthias, > > I'm not sure whether you're aware already, but I felt that it was best > to just document that gcc-