Processed: Re: Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives

2016-12-03 Thread Debian Bug Tracking System
Processing control commands: > tags -1 + wontfix Bug #840694 [gcc] gcc: /usr/bin/gcc should use /etc/alternatives Added tag(s) wontfix. -- 840694: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840694 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives

2016-12-03 Thread Matthias Klose
Control: tags -1 + wontfix On 14.10.2016 00:45, Peter Chubb wrote: > Package: gcc > Version: 4:6.1.1-1 > Severity: wishlist > > Dear Maintainer, > > I currently have gcc versions 4.7, 5.0 and 6.0 installed. I'd > like to be able to switch between them on a regular basis. The > simplest way to

Bug#840694: gcc: /usr/bin/gcc should use /etc/alternatives

2016-10-13 Thread Peter Chubb
Package: gcc Version: 4:6.1.1-1 Severity: wishlist Dear Maintainer, I currently have gcc versions 4.7, 5.0 and 6.0 installed. I'd like to be able to switch between them on a regular basis. The simplest way to do this would be to use update-alternatives to switch, but currently /usr/bin/gcc and