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

Xavier shiningxc at gmail.com
Fri Jul 25 07:44:29 EDT 2008

On Fri, Jul 25, 2008 at 1:37 PM, Allan McRae <allan at archlinux.org> wrote:
> For example, consider packages that were built before the new zipman
> option.  Old packages are build with the equivalent of the zipman option
> being enabled.  With only including enabled options, a first look at a
> package built prior to this option would indicate that man pages were
> not zipped which is wrong.  Including both enabled and disabled options
> would tell us that the option just didn't exist at the time.

Yep, that is right, nevermind :)

More information about the pacman-dev mailing list