using patched gcc toolchain

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Jul 5 19:43:18 CEST 2005


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.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list