make goes out of memory and crashes

One of the students was able to build the compiler last week, but after the changes to the make a few days ago it uses too much memory and crashes.

@thomas please have a look :)