On Fri, Nov 11, 2016 at 11:18:51AM +0100, Tobias Geerinckx-Rice wrote:
> Efraim,
> 
> (A detail:)
> 
> Efraim Flashner schreef op 2016-11-10 18:22:
> >                    "DESTDIR=\"\"")
> 
> Are those quotes needed to work around some silliness in the Makefile?
> 
> Otherwise,
> 
>   "DESTDIR="
> 
> should work just as well and is easier on the eyes.
> 
> Kind regards,
> 
> T G-R

it tries to install to $DESTDIR${prefix} (or something strange like
that), but it turns out that if DESTDIR is left alone it's already
empty, so I just took that part out.


-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted