It turns out that cmake is still using gmake during the configure
phase, even though build is then done using make(1). If gmake is not
available on the host, cmake falls back to make(1) to configure and
the resulting Makefiles won't work on either, make or gmake. Therefore
I'll rollback to using gmake all the time.
Reviewed by: flo (mentor)
Approved by: flo (mentor)