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