Re: make or $(MAKE) ?
Charles Plessy <firstname.lastname@example.org> wrote:
> As one of the program I package was recently automakified, I had to
> change debian/rules to deal with this. While comparing with other
> packages, I realised that often $(MAKE) is used instead of make in
> debian/rules. In case of trivial packages which do not seem to expect
> something fancy from the enviroment, are both commands equivalent ?
I think $(MAKE) is useful when your make binary is called "gmake", for
instance. This shouldn't be the case on Debian, but I think it's a good
habit to take.