On Wed, Jan 25, 2012 at 3:55 PM, Christophe Lyon <christophe.l...@st.com> wrote: > On 25.01.2012 15:49, Richard Guenther wrote: >> >> >> You can change the linker used by adjusting your path or giving an >> appropriate -B option to the gcc driver. >> >> Richard. >> > Yes, but part of the thread was precisely to discuss alternatives, more > end-user friendly (for those won't know the full path to alternate linker).
Would they know that two different linkers exist, or even what a linker is? Richard.