How to switch the gcc profile if different versions are installed?
- gcc-config -l
[1] i686-pc-linux-gnu-3.3.6
[2] i686-pc-linux-gnu-3.3.6-hardened
[3] i686-pc-linux-gnu-3.3.6-hardenednopie
[4] i686-pc-linux-gnu-3.3.6-hardenednopiessp
[5] i686-pc-linux-gnu-3.3.6-hardenednossp
[6] i686-pc-linux-gnu-3.4.5 *
[7] i686-pc-linux-gnu-3.4.5-hardened
[8] i686-pc-linux-gnu-3.4.5-hardenednopie
[9] i686-pc-linux-gnu-3.4.5-hardenednopiessp
[10] i686-pc-linux-gnu-3.4.5-hardenednossp
[11] i686-pc-linux-gnu-4.1.1
- gcc-config -f PROFILNAME
i.e. gcc-config -f i686-pc-linux-gnu-4.1.1 if you’d like to switch to gcc 4.1.1 … If you want to use it imediatly don’t forget the source /etc/profile …
You can also use gcc-config number. In this case, to use i686-pc-linux-gnu-4.1.1, you can simple do „gcc-config 11“
will nix mehr putter krams lesen….
@Menelekir: Thanks for your tip! I didn’t know that :-)
@pullmoll/n.n.a2: muss halt einige dinge festhalten die ich sonst definitiv wieder vergesse ;-)