diff options
| author | root <root@rshg054.dnsready.net> | 2012-04-04 00:01:33 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-04-04 00:01:33 +0000 |
| commit | f78d29bb618b8991a4af017bb3ec1ccf5987ea7c (patch) | |
| tree | 52ac1efa570c0b674063b36b1a3406dc988003f1 /libre-testing/icedove-libre/mozconfig.pgo | |
| parent | b618c3d0693aec564c6746238fd05d94e31d3b76 (diff) | |
Wed Apr 4 00:01:33 UTC 2012
Diffstat (limited to 'libre-testing/icedove-libre/mozconfig.pgo')
| -rw-r--r-- | libre-testing/icedove-libre/mozconfig.pgo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libre-testing/icedove-libre/mozconfig.pgo b/libre-testing/icedove-libre/mozconfig.pgo new file mode 100644 index 000000000..b0c249ebf --- /dev/null +++ b/libre-testing/icedove-libre/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' |