diff options
author | root <root@rshg054.dnsready.net> | 2012-01-22 23:15:13 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-01-22 23:15:13 +0000 |
commit | 164067832916c8e59219e1b0f30d7d04618a536e (patch) | |
tree | 5ec718dc77dfccfcdb1409707658bef3fb421ac4 /mozilla-testing/icecat/mozconfig.pgo | |
parent | a1922d0ec660fdc1892f2783515f781c090df0a9 (diff) |
Sun Jan 22 23:15:13 UTC 2012
Diffstat (limited to 'mozilla-testing/icecat/mozconfig.pgo')
-rw-r--r-- | mozilla-testing/icecat/mozconfig.pgo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mozilla-testing/icecat/mozconfig.pgo b/mozilla-testing/icecat/mozconfig.pgo new file mode 100644 index 000000000..b0c249ebf --- /dev/null +++ b/mozilla-testing/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' |