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