diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-10-25 17:39:49 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-10-25 17:39:49 +0200 |
commit | 9bc7a3d44af47767a9f82cf3df10add8eab26b1e (patch) | |
tree | 46b86178f19854edc711abe5a0800ebd21c9c167 /extra/firefox/mozconfig.patch | |
parent | da1fb27fe6d16fb1fa3017f95527862697630ca4 (diff) | |
download | packages-9bc7a3d44af47767a9f82cf3df10add8eab26b1e.tar.xz |
extra/firefox: more fixing around PGO
Diffstat (limited to 'extra/firefox/mozconfig.patch')
-rw-r--r-- | extra/firefox/mozconfig.patch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/extra/firefox/mozconfig.patch b/extra/firefox/mozconfig.patch index 2363102f..97318c3f 100644 --- a/extra/firefox/mozconfig.patch +++ b/extra/firefox/mozconfig.patch @@ -1,6 +1,6 @@ diff -rauN a/mozconfig b/mozconfig ---- a/mozconfig 2019-10-25 16:05:08.760547591 +0200 -+++ b/mozconfig 2019-10-25 16:03:07.125511113 +0200 +--- a/mozconfig 2019-10-25 16:52:15.320214766 +0200 ++++ b/mozconfig 2019-10-25 16:52:51.400721588 +0200 @@ -5,11 +5,12 @@ ac_add_options --enable-hardening ac_add_options --enable-optimize @@ -19,10 +19,10 @@ diff -rauN a/mozconfig b/mozconfig # Branding ac_add_options --enable-official-branding -@@ -38,6 +39,3 @@ +@@ -38,3 +39,6 @@ ac_add_options --disable-gconf ac_add_options --disable-updater ac_add_options --disable-tests -- --# disable PGO --ac_add_options --disable-cross-pgo ++ ++# disable PGO ++ac_add_options --disable-cross-pgo |