[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#11030: should an empty "pkgdata_DATA" cause creation of $(pkgdat
|
From: |
Stefano Lattarini |
|
Subject: |
Re: bug#11030: should an empty "pkgdata_DATA" cause creation of $(pkgdatadir) by "make install"? |
|
Date: |
Sun, 18 Mar 2012 20:19:53 +0100 |
tags 11030 + patch
close 11030
thanks
On 03/18/2012 08:03 AM, Stefano Lattarini wrote:
>
>> On 03/16/2012 11:04 PM, Stefano Lattarini wrote:
>>>
>>> You have convinced me that this behaviour is more a bug than a feature.
>>>
>> And here is a patch (for maint) that should settle the issue. I will push by
>> tomorrow if there is no objection.
>>
Patch pushed now. I'm thus closing this bug report.
Regards,
Stefano