diff options
author | root <root@rshg054.dnsready.net> | 2013-01-18 00:06:08 -0800 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-01-18 00:06:08 -0800 |
commit | 995f428bf6c3170027dd5f9ea9f17e8fa4bdfac8 (patch) | |
tree | 9321d3e4d17ef635f93e0b7a2923c288109a9c1f /~emulatorman/iceweasel-libre/mozconfig.pgo | |
parent | 4e8c9530dbbf6c8b4c8147cef8fe9845c8898de3 (diff) |
Fri Jan 18 00:06:07 PST 2013
Diffstat (limited to '~emulatorman/iceweasel-libre/mozconfig.pgo')
-rw-r--r-- | ~emulatorman/iceweasel-libre/mozconfig.pgo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/~emulatorman/iceweasel-libre/mozconfig.pgo b/~emulatorman/iceweasel-libre/mozconfig.pgo new file mode 100644 index 000000000..b0c249ebf --- /dev/null +++ b/~emulatorman/iceweasel-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' |