diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-04-12 09:00:52 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-04-12 09:00:52 -0300 |
| commit | 91a560aa5cfe6590ff6ae615384a62cc70b11dc7 (patch) | |
| tree | 32fb6e8f518357af40580e3f69f55026a21b51b4 /libre/iceweasel-libre/mozconfig.pgo | |
| parent | 58e1a98a566187947644099439a36b3570cad210 (diff) | |
iceweasel-libre: adding new changes to libre repo
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' |