summaryrefslogtreecommitdiff
path: root/libre/icecat/mozconfig.pgo
diff options
context:
space:
mode:
authorNicolás Reynolds <apoyosis@correo.inta.gob.ar>2012-03-01 15:14:35 -0300
committerNicolás Reynolds <apoyosis@correo.inta.gob.ar>2012-03-01 15:14:35 -0300
commit69b78ed95efd699c0dfbe588457234eee3ae9d9c (patch)
tree15b1c2902f0c430d015c9fc70ec7db6c042528f7 /libre/icecat/mozconfig.pgo
parentd7d39087e97e5a5ff1ab2c40db618934633b594c (diff)
parentb5ef7ef5b393a1862d781791b9aa998d20636f59 (diff)
Merge branch 'master' of ssh://gparabola/abslibre
Diffstat (limited to 'libre/icecat/mozconfig.pgo')
-rw-r--r--libre/icecat/mozconfig.pgo4
1 files changed, 4 insertions, 0 deletions
diff --git a/libre/icecat/mozconfig.pgo b/libre/icecat/mozconfig.pgo
new file mode 100644
index 000000000..b0c249ebf
--- /dev/null
+++ b/libre/icecat/mozconfig.pgo
@@ -0,0 +1,4 @@
+# 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'