diff options
author | Que Quotion | 2016-03-21 01:25:30 +0900 |
---|---|---|
committer | Que Quotion | 2016-03-21 01:25:30 +0900 |
commit | 2b8026b48f34c472c50b98df81c153307421be2f (patch) | |
tree | 1c59af3dc7040561a57c0305d60f6a7a56c6e37e /conf.buildopts.patch | |
parent | 4f73b6fa6eb810c63862cba8a2b79d9ab7436e54 (diff) | |
download | aur-2b8026b48f34c472c50b98df81c153307421be2f.tar.gz |
A little rearrangement.
The two sections of makepkg.conf split nicely: build options, and
package options--so let's use file names like that. Also comment
on graphite in config.
Diffstat (limited to 'conf.buildopts.patch')
-rw-r--r-- | conf.buildopts.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/conf.buildopts.patch b/conf.buildopts.patch new file mode 100644 index 000000000000..669c81acda74 --- /dev/null +++ b/conf.buildopts.patch @@ -0,0 +1,21 @@ +--- makepkg-optimize.conf ++++ makepkg-optimize.conf +@@ -83,6 +83,9 @@ + #-- ccache: Use ccache to cache compilation + #-- check: Run the check() function if present in the PKGBUILD + #-- sign: Generate PGP signature file ++#-- lto: Use link-time optimization ++#-- pgo: Generate or utilize profile guided optimization ++#-- graphite: Use Graphite loop optimizations + # + BUILDENV=(!distcc color !ccache !check !sign) + # +@@ -142,6 +144,8 @@ + #SRCDEST=/home/sources + #-- Source packages: specify a fixed directory where all src packages will be placed + #SRCPKGDEST=/home/srcpackages ++#-- Profile cache: specify a fixed directory where profiles will be stored ++#PROFDEST=/home/sources + #-- Log files: specify a fixed directory where all log files will be placed + #LOGDEST=/home/makepkglogs + #-- Packager: name/email of the person or organization building packages |