diff options
author | Nicolás Reynolds <apoyosis@correo.inta.gob.ar> | 2012-03-01 15:14:35 -0300 |
---|---|---|
committer | Nicolás Reynolds <apoyosis@correo.inta.gob.ar> | 2012-03-01 15:14:35 -0300 |
commit | 69b78ed95efd699c0dfbe588457234eee3ae9d9c (patch) | |
tree | 15b1c2902f0c430d015c9fc70ec7db6c042528f7 /libre/icecat/mozconfig.pgo | |
parent | d7d39087e97e5a5ff1ab2c40db618934633b594c (diff) | |
parent | b5ef7ef5b393a1862d781791b9aa998d20636f59 (diff) |
Merge branch 'master' of ssh://gparabola/abslibre
Diffstat (limited to 'libre/icecat/mozconfig.pgo')
-rw-r--r-- | libre/icecat/mozconfig.pgo | 4 |
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' |