diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-04-12 10:53:38 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-04-12 10:53:38 -0300 |
| commit | 26850b3e0ea8bd3cc471b51e36af14869144d0ab (patch) | |
| tree | 36ddaab540b9ba040344dcdd54676276e5b58a9d /libre/icecat/mozconfig.pgo | |
| parent | 00e984388506449d7813d8ac6d6ef7d5d4ca34a8 (diff) | |
icecat-17.0.1-7: adapting PKGBUILD with new changes, updating mozconfig and mozconfig.pgo
Diffstat (limited to 'libre/icecat/mozconfig.pgo')
| -rw-r--r-- | libre/icecat/mozconfig.pgo | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/libre/icecat/mozconfig.pgo b/libre/icecat/mozconfig.pgo index 30464c38c..2f4ebe32b 100644 --- a/libre/icecat/mozconfig.pgo +++ b/libre/icecat/mozconfig.pgo @@ -1,5 +1,3 @@ # 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' +mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py 10' |