diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-22 15:30:17 -0200 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-22 15:30:17 -0200 |
commit | 10a551d11878e8d6872170293f32ec2dbf57f567 (patch) | |
tree | d788665d4ecf32131ed1236d8ba64747aeca39b4 /libre/iceweasel-libre/mozconfig.pgo | |
parent | a299e9a6f65afb3b7c5e7311175ebe5fcc933c57 (diff) |
iceweasel-libre: revert last changes due that iceweasel uses patches from debian adapted to use the previous commands
Diffstat (limited to 'libre/iceweasel-libre/mozconfig.pgo')
-rw-r--r-- | libre/iceweasel-libre/mozconfig.pgo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libre/iceweasel-libre/mozconfig.pgo b/libre/iceweasel-libre/mozconfig.pgo index 2f4ebe32b..30464c38c 100644 --- a/libre/iceweasel-libre/mozconfig.pgo +++ b/libre/iceweasel-libre/mozconfig.pgo @@ -1,3 +1,5 @@ # PGO -mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py 10' +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' |