diff options
author | Allan McRae <allan@archlinux.org> | 2008-09-27 06:47:29 +0200 |
---|---|---|
committer | Dan McGee <dan@archlinux.org> | 2009-01-03 07:11:48 +0100 |
commit | 774c252753c3c1717684bea234a497941aa864d7 (patch) | |
tree | 8d6620dea8b3d6ef09b3ddfb85207c7ce1598b7f /etc | |
parent | 1b7ff7a636b6ca6bbcb3953c681bd22166f4a6ca (diff) | |
download | pacman-774c252753c3c1717684bea234a497941aa864d7.tar.gz pacman-774c252753c3c1717684bea234a497941aa864d7.tar.xz |
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@archlinux.org>
Signed-off-by: Dan McGee <dan@archlinux.org>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions