diff options
Diffstat (limited to 'data/patches/moz-configure-changes.patch')
| -rw-r--r-- | data/patches/moz-configure-changes.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/data/patches/moz-configure-changes.patch b/data/patches/moz-configure-changes.patch index 85d5657..6f0525e 100644 --- a/data/patches/moz-configure-changes.patch +++ b/data/patches/moz-configure-changes.patch @@ -1,5 +1,5 @@ ---- a/browser/moz.configure.orig 2021-08-17 17:06:02.522757210 -0400 -+++ b/browser/moz.configure 2021-08-17 17:06:48.846744492 -0400 +--- a/browser/moz.configure ++++ b/browser/moz.configure @@ -5,11 +5,11 @@ # file, You can obtain one at http://mozilla.org/MPL/2.0/. @@ -14,5 +14,5 @@ +imply_option("MOZ_BLOCK_PROFILE_DOWNGRADE", False) +imply_option("MOZ_NORMANDY", False) - with only_when(target_is_linux & compile_environment): + with only_when(target_has_linux_kernel & compile_environment): option(env="MOZ_NO_PIE_COMPAT", help="Enable non-PIE wrapper") |