> *) My system only had gmake and no make installed and I had to fix the Makefile
> manually in a few places to make sure it used gmake instead of make.

It should actually use $(MAKE), so that it uses the correct one 
automatically.

Post a reply to this message