[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file
shiningxc at gmail.com
Fri Jul 25 07:17:34 EDT 2008
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?
More information about the pacman-dev