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

[Xavier]

On Fri, Jul 25, 2008 at 3:08 AM, Allan McRae <allan at archlinux.org> wrote:
>
> 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.
>

If we always put all (and only) enabled options, it should be fine.
If not, do you have an example to illustrate the problem?