diff options
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 |