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