diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-01-17 18:41:43 -0200 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-01-17 18:41:43 -0200 |
commit | aeb81933f22181e922a0fa91feb27da923d703bc (patch) | |
tree | d369c7c92cc981aa47070d52dca712923f3356bc /~emulatorman/icecat/mozconfig.pgo | |
parent | d2c8976a6f2f4da940e0fd4cee7d6ca403221661 (diff) |
backing mozilla and ice packs files
Diffstat (limited to '~emulatorman/icecat/mozconfig.pgo')
-rw-r--r-- | ~emulatorman/icecat/mozconfig.pgo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/~emulatorman/icecat/mozconfig.pgo b/~emulatorman/icecat/mozconfig.pgo new file mode 100644 index 000000000..b0c249ebf --- /dev/null +++ b/~emulatorman/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' |