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

Re: make or $(MAKE) ?



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Charles Plessy 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 ?

To stay on the safe side, you should use $(MAKE); see

http://www.gnu.org/software/make/manual/make.html#MAKE-Variable

Bye,
- --
cc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGF4gYGJRwVVqzMkMRAhJhAJ9LVlCqh4KY624skCGXmyBs2a7/PACeMV70
BuAZZmez8+KCG46Rtw5YrAM=
=84BX
-----END PGP SIGNATURE-----



Reply to: