Archives
Archives
| From: | Helmut Jarausch <jarausch@××××××××××××××××.de> |
|---|---|
| To: | gentoo-user@l.g.o |
| Subject: | [gentoo-user] HowTo switch the default gcc |
| Date: | Mon, 08 Oct 2007 09:35:10 |
| Message-Id: | tkrat.36ba834effba7df4@igpm.rwth-aachen.de |
| 1 | Hi, |
| 2 | |
| 3 | my current default gcc is of version 4.1.2 but I would like to |
| 4 | switch to version 4.2.1. |
| 5 | |
| 6 | As root (only) I can do |
| 7 | |
| 8 | gcc-config i686-pc-linux-gnu-4.2.1 |
| 9 | |
| 10 | but this switch is lost after re-login. |
| 11 | Furthermore I cannot switch in non-root mode. |
| 12 | (BTW I'm using the zshell) |
| 13 | |
| 14 | Many thanks for a hint, |
| 15 | |
| 16 | Helmut Jarausch |
| 17 | |
| 18 | Lehrstuhl fuer Numerische Mathematik |
| 19 | RWTH - Aachen University |
| 20 | D 52056 Aachen, Germany |
| 21 | -- |
| 22 | gentoo-user@g.o mailing list |
| Subject | Author |
|---|---|
| [gentoo-user] Re: HowTo switch the default gcc | Marc Blumentritt <marc.blumentritt@×××××.de> |