using patched gcc toolchain
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
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers