[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file
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).
Signed-off-by: Allan McRae
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).
Signed-off-by: Allan McRae
--- <snip>
Here is the discussion from when I first submitted this: http://archlinux.org/pipermail/pacman-dev/2008-July/012565.html It was decided that including build options (distcc, ccache) was not needed. To do this, I needed to either hard code the options to be put in the .PKGINFO file at the point where it was created or to split the known_options array up. I think the latter was the better approach so I took it. Allan
participants (1)
-
Allan McRae