Closed nlegrand closed 12 years ago
using $(MAKE) instead of plain 'make' is a bit more portable when your make is not GNU Make. For instance on OpenBSD:
$ MAKE=gmake $MAKE
permits to compile with GNU make.
It doesn't break when GNU make is the default make of your system.
Cheers,
nicolas
I'll need to test this out before I merge it. Thank you for submitting it!
using $(MAKE) instead of plain 'make' is a bit more portable when your make is not GNU Make. For instance on OpenBSD:
$ MAKE=gmake $MAKE
permits to compile with GNU make.
It doesn't break when GNU make is the default make of your system.
Cheers,
nicolas