diff options
| author | root <root@rshg054.dnsready.net> | 2013-04-13 00:05:58 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-04-13 00:05:58 -0700 |
| commit | 8f0418e4a239ba973834592537b474d3aac52d5b (patch) | |
| tree | 55787459ba85dcd3ea548b37ca4027ef993c28b5 /libre/iceweasel-libre/mozconfig.pgo | |
| parent | d976aa5e1544c80dc2457ea20b27f28f3fa05899 (diff) | |
Sat Apr 13 00:05:58 PDT 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 30464c38c..2f4ebe32b 100644 --- a/libre/iceweasel-libre/mozconfig.pgo +++ b/libre/iceweasel-libre/mozconfig.pgo @@ -1,5 +1,3 @@ # 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' |