------- Comment #6 from mark at gcc dot gnu dot org 2006-02-28 13:11 ------- This seems to be also tracked as a GNU Make bug at: http://savannah.gnu.org/bugs/?func=detailitem&item_id=15182 "Make uses too much memory"
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24154