Adam Lackorzynski wrote on 05/07/05 19:43: > On Tue Jul 05, 2005 at 19:38:19 +0200, Emanuel Thomas wrote: >>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? > > Doing "make config" in the l4 directory gives you the possibility to > configured the compilers under "Compilers and Tools". If that's not > enough for your setup, prepend an additional entry in your PATH > environment variable.
But doing so, some system libraries are used. _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
