diff options
| author | root <root@rshg054.dnsready.net> | 2013-01-14 00:06:25 -0800 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-01-14 00:06:25 -0800 |
| commit | a69d072f5cde4b5a6bac62e6022a69d337925e45 (patch) | |
| tree | 0b83b65e62775340de0ba06e439351151bdcf940 /libre/iceweasel-libre/mozconfig.pgo | |
| parent | 7cb984c0e1226ac1e5606206ff7c6a34eecb63fd (diff) | |
Mon Jan 14 00:06:25 PST 2013
Diffstat (limited to 'libre/iceweasel-libre/mozconfig.pgo')
| -rw-r--r-- | libre/iceweasel-libre/mozconfig.pgo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libre/iceweasel-libre/mozconfig.pgo b/libre/iceweasel-libre/mozconfig.pgo index 57d11eed0..b0c249ebf 100644 --- a/libre/iceweasel-libre/mozconfig.pgo +++ b/libre/iceweasel-libre/mozconfig.pgo @@ -1,2 +1,4 @@ # PGO -mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py 10' +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' |