L4/Fiasco.OC & gcc-4.7
adam at os.inf.tu-dresden.de
Mon Oct 14 00:05:20 CEST 2013
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:
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, is that always reproducable? (Could I reproduce that?)
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers