using patched gcc toolchain

Emanuel Thomas s1596862 at inf.tu-dresden.de
Tue Jul 5 19:38:19 CEST 2005


Hello,

I want to use a patched gcc toolchain, but i'm going to have problems. 
Is there a global configuration file where I can (easily) which gcc (and 
other tools) should be used?
Even "make confg" seems to use the standard gcc. Where can I change that?

Emanuel




More information about the l4-hackers mailing list