using patched gcc toolchain

Emanuel Thomas s1596862 at
Tue Jul 5 19:38:19 CEST 2005


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?


More information about the l4-hackers mailing list