[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file

[Allan McRae]

Dan McGee wrote:
> On Thu, Jul 24, 2008 at 8:08 PM, Allan McRae <allan at archlinux.org> wrote:
>   
>> Xavier wrote:
>>     
>>> On Thu, Jul 24, 2008 at 2:41 PM, Allan McRae <allan at archlinux.org> wrote:
>>>
>>>       
>>>> Allan McRae wrote:
>>>>
>>>>         
>>>>> Adds defined options to the PKGINFO file in the form of "makepkgopt =".
>>>>> It may be useful to be able to add these to the pacman DB at some point
>>>>> as that would allow (e.g.) checking which packages have had their docs
>>>>> striped (FS#7092).
>>>>>
>>>>>
>>>>>           
>>>> This is more of a "might be a good idea" patch being put out there to
>>>> gather opinions.
>>>>
>>>>
>>>>         
>>> This might be a good idea :)
>>> But apparently known options regroup both BUILDENV and OPTIONS array.
>>> In my opinion, only OPTIONS is interesting.
>>> And then, we might want to just include enabled options, for the sake
>>> of being concise.
>>>
>>>       
>> Good point about the build options being useless.  But I think all other
>> options should go in so if/when we add further options we would know
>> they are not used in the package.
>>
>> Dan:  My git-foo was weak and I noticed this was on my working branch
>> that you pulled in.  Do you want to remove it or I can patch the patch?
>>     
>
> Hmm? I definitely haven't pulled it yet.
>   

Doh!  I must of clicked the wrong bookmark when looking at (obviously 
not) your gitweb page...  :facepalm:  And the day is only just begun... 
what other mistakes can Allan make today?

Allan