http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57370
--- Comment #4 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> --- I killed the compilation after 15h...
Joost.VandeVondele at mat dot ethz.ch Wed, 22 May 2013 23:15:04 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57370
--- Comment #4 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> --- I killed the compilation after 15h...