Hi Riccardo,

Am 20.05.2014 um 11:05 schrieb Riccardo Mottola <[email protected]>:
> This does it my current way, that is, by separating make with && and
> then DESTDIR=$(DESTDIR)

There is a difference between
  DESTDIR=/foo gmake bar
and
  gmake bar DESTDIR=/foo

The latter one aggresively overrides settings inside the Makefile. See for 
details
  https://www.gnu.org/software/make/manual/html_node/Values.html#Values

Best regards

  — Dago

-- 
"You don't become great by trying to be great, you become great by wanting to 
do something,
and then doing it so hard that you become great in the process." - xkcd #896

Attachment: smime.p7s
Description: S/MIME cryptographic signature

Reply via email to