[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#10997: pkglibexecdir is unconditionally created when make instal
|
From: |
Stefano Lattarini |
|
Subject: |
Re: bug#10997: pkglibexecdir is unconditionally created when make install |
|
Date: |
Sat, 17 Mar 2012 08:48:03 +0100 |
On 03/12/2012 02:43 PM, Stefano Lattarini wrote:
> On 03/12/2012 12:21 PM, Peter Breitenlohner wrote:
>>
>> To summarize: 'nodist_bin_SCRIPTS =' is an extremely convenient way to
>> ensure that $(bindir) -- or rather $(DESTDIR)$(bindir) -- exists.
>>
> I agree, and in fact I regard this as a feature (which automake has been known
> to use in its own build system for some time).
>
I've now changed my mind, and started to consider this behaviour as a bug; see
automake bug#11030:
<http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11030>
A fix to that will obviously fix the present bug as well.
Regards,
Stefano