summaryrefslogtreecommitdiff
path: root/libre/icecat/mozconfig.pgo
diff options
context:
space:
mode:
authorMárcio Alexandre Silva Delgado <coadde@lavabit.com>2013-02-22 16:05:21 -0200
committerMárcio Alexandre Silva Delgado <coadde@lavabit.com>2013-02-22 16:05:21 -0200
commitb60597c2d97ae1bdd181bbc7b3a9be74dca61153 (patch)
tree78b9fdd317c68a9b878f39156acf478c8a853902 /libre/icecat/mozconfig.pgo
parent1ce57a3c07aa8f2ef64cc9512c0dc1f3868ca088 (diff)
parent6761ee5e5f6610b1c630f25b53a008a581571da7 (diff)
Merge ssh://parabolagnulinux.org:1863/srv/git/abslibre
Diffstat (limited to 'libre/icecat/mozconfig.pgo')
-rw-r--r--libre/icecat/mozconfig.pgo5
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'