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: