L4/Fiasco.OC & gcc-4.7

[Adam Lackorzynski]

On Sun Oct 13, 2013 at 16:23:39 +0200, Daniel Müller wrote:
> Is there a way to change the default gcc and g++ to use when bulding
> L4 (this way I could at least have my host system use the new gcc
> while compiling L4 with the older version)? I've seen the config
> options for Fiasco but this is not sufficient.

Put a Makeconf.local in the root directory of the build tree:
CC=gcc-... -m..
CXX=g++-... -m..

Did that happen when you rebuilt L4Re or Fiasco, or both?
To which version of gcc-4.7 were you upgrading, i.e. which distribution
and version?
And, is that always reproducable? (Could I reproduce that?)


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