------- Additional Comments From falk at debian dot org 2003-11-12 21:20 ------- "Killed" sounds like an out of memory problem. How much memory do you have? Can you watch the memory usage with top or something? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13027