diff options
author | Márcio Alexandre Silva Delgado <coadde@lavabit.com> | 2013-02-22 16:05:21 -0200 |
---|---|---|
committer | Márcio Alexandre Silva Delgado <coadde@lavabit.com> | 2013-02-22 16:05:21 -0200 |
commit | b60597c2d97ae1bdd181bbc7b3a9be74dca61153 (patch) | |
tree | 78b9fdd317c68a9b878f39156acf478c8a853902 /libre/icecat/mozconfig.pgo | |
parent | 1ce57a3c07aa8f2ef64cc9512c0dc1f3868ca088 (diff) | |
parent | 6761ee5e5f6610b1c630f25b53a008a581571da7 (diff) |
Merge ssh://parabolagnulinux.org:1863/srv/git/abslibre
Diffstat (limited to 'libre/icecat/mozconfig.pgo')
-rw-r--r-- | libre/icecat/mozconfig.pgo | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libre/icecat/mozconfig.pgo b/libre/icecat/mozconfig.pgo index b0c249ebf..2f4ebe32b 100644 --- a/libre/icecat/mozconfig.pgo +++ b/libre/icecat/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' |