diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-22 11:33:59 -0200 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-22 11:33:59 -0200 |
| commit | 29e00823021242ee5a12102cfe536079024abfcd (patch) | |
| tree | 488b4ed5bb8f30f40bc5b9025655f768377a6ccf /libre/iceweasel-libre/mozconfig.pgo | |
| parent | b128a7134846cd29ed4e0baec96a295c1065acc9 (diff) | |
| download | abslibre-29e00823021242ee5a12102cfe536079024abfcd.tar.gz abslibre-29e00823021242ee5a12102cfe536079024abfcd.tar.bz2 abslibre-29e00823021242ee5a12102cfe536079024abfcd.zip | |
iceweasel-libre-19.0.1-3: improving pgo
Diffstat (limited to 'libre/iceweasel-libre/mozconfig.pgo')
| -rw-r--r-- | libre/iceweasel-libre/mozconfig.pgo | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libre/iceweasel-libre/mozconfig.pgo b/libre/iceweasel-libre/mozconfig.pgo index b0c249ebf..2f4ebe32b 100644 --- a/libre/iceweasel-libre/mozconfig.pgo +++ b/libre/iceweasel-libre/mozconfig.pgo @@ -1,4 +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' |