[Bug other/31317] Fatal error when 'make'

[bangerth at dealii dot org]

------- Comment #2 from bangerth at dealii dot org  2007-03-23 02:29 -------
You need to use 'make bootstrap' instead of just 'make'.
W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at dealii dot org
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31317