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