diff options
author | Luke Shumaker <LukeShu@sbcglobal.net> | 2012-01-02 21:59:59 -0500 |
---|---|---|
committer | Luke Shumaker <LukeShu@sbcglobal.net> | 2012-01-02 21:59:59 -0500 |
commit | 696a3dfae03d9ca8ca6ed8e733b04b31e2371805 (patch) | |
tree | fc238a19bc7533f0d42f857f5b8238752edf9c37 /mozilla-testing/iceweasel-libre/mozconfig.pgo | |
parent | 4c4aa0c2464e64e3c5e1c75a868032b7b6df9012 (diff) |
Disabable pgo in iceweasel-libre
... by default. If you edit the PKGBUILD and set "_pgo=true", then it will
build iceweasel-libre-pgo.
Diffstat (limited to 'mozilla-testing/iceweasel-libre/mozconfig.pgo')
-rw-r--r-- | mozilla-testing/iceweasel-libre/mozconfig.pgo | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mozilla-testing/iceweasel-libre/mozconfig.pgo b/mozilla-testing/iceweasel-libre/mozconfig.pgo new file mode 100644 index 000000000..3509ec03f --- /dev/null +++ b/mozilla-testing/iceweasel-libre/mozconfig.pgo @@ -0,0 +1,5 @@ +# PGO +ac_add_options --enable-profile-guided-optimization +mk_add_options MOZ_OBJDIR=@TOPSRCDIR@/ff-pgo +mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py' +mk_add_options PYTHONPATH='$(OBJDIR)/_profile/pgo' |