diff options
author | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2012-01-04 12:05:33 -0300 |
---|---|---|
committer | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2012-01-04 12:05:33 -0300 |
commit | 572db5155dc23eb1c4f65736b9ca5507eed6fbd2 (patch) | |
tree | 687a7c5627b76004103420d1575528fbfc0ff4b7 /mozilla-testing/iceweasel-libre/mozconfig.pgo | |
parent | ca2e05bb7791418f2af678704160d56d8184a21a (diff) | |
parent | d1d68784dc66793601c239fa64cc0e02ebd9444e (diff) |
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts:
kde-unstable/kdemultimedia/PKGBUILD
libre/mplayer-libre/PKGBUILD
social/diaspora-git/PKGBUILD
staging/php/PKGBUILD
staging/redland/PKGBUILD
Diffstat (limited to 'mozilla-testing/iceweasel-libre/mozconfig.pgo')
-rw-r--r-- | mozilla-testing/iceweasel-libre/mozconfig.pgo | 4 |
1 files changed, 4 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..b0c249ebf --- /dev/null +++ b/mozilla-testing/iceweasel-libre/mozconfig.pgo @@ -0,0 +1,4 @@ +# PGO +ac_add_options --enable-profile-guided-optimization +mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py' +mk_add_options PYTHONPATH='$(OBJDIR)/_profile/pgo' |