#2955 configure depends on make

[Philipp Klaus Krause]

When make is not installed, one of the configure scripts for a pic port fails with a non-descriptive error message. Looking a the corresponding config.log reveals that missing make is the problem.

If make is really needed, configure should give an error message saying so.