diff options
| author | root <root@rshg054.dnsready.net> | 2012-03-02 00:01:28 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-03-02 00:01:28 +0000 |
| commit | 9ff97db6951550a28a70b27491a446da9d736176 (patch) | |
| tree | 482d46078cf0367200908e8e26bb335e54429b5b /libre/icecat/mozconfig.pgo | |
| parent | 6f297b1cf462a11227d811a87124006c55911d63 (diff) | |
Fri Mar 2 00:01:27 UTC 2012
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' |