diff options
| author | André Fabian Silva Delgado <andre@pc-01.localdomain> | 2012-03-01 15:22:36 -0200 |
|---|---|---|
| committer | André Fabian Silva Delgado <andre@pc-01.localdomain> | 2012-03-01 15:22:36 -0200 |
| commit | 7728e0207685ea5e0261794c73a9490e1621bee4 (patch) | |
| tree | 7a3ad2d7c9e167d255106ae2926a106ebb934e55 /libre/icecat/mozconfig.pgo | |
| parent | fa6b3bb7276a98f23b39be618bd930dc478ac13d (diff) | |
libre/icecat
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' |