diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-03-23 19:47:42 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-03-23 19:47:42 -0300 |
| commit | c4cc142235d7d77327c2a53d9efb2750b1ec80bf (patch) | |
| tree | 41446fa0833a3783d24b6bd12c64336f845e6032 /libre/icecat/mozconfig.pgo | |
| parent | 5ddafb1e55d18275d3f16e9faa3e9da788b54389 (diff) | |
| parent | b1b9debcc7f6756d83dbac37806021de007cf083 (diff) | |
Merge branch 'master' of ssh://gparabola/abslibre
Conflicts:
libre/linux-libre/PKGBUILD
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' |