[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: make or $(MAKE) ?

Charles Plessy <charles-debian-nospam@plessy.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.


Reply to: