browser/moz.configure
author Alexandre Poirot <poirot.alex@gmail.com>
Tue, 05 Mar 2019 12:57:04 -0800
changeset 521122 f9eb88415e06e11f3bf58ead711168f633111283
parent 493491 575545bc2b10c7e06d89ef687bc2f6c1e7fa2cc5
permissions -rw-r--r--
bug 1523104: remote: destroy the related Session when the WebSocket connection drops; r=ato

# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
# vim: set filetype=python:
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

imply_option('MOZ_PLACES', True)
imply_option('MOZ_SERVICES_HEALTHREPORT', True)
imply_option('MOZ_SERVICES_SYNC', True)
imply_option('MOZ_DEDICATED_PROFILES', True)
imply_option('MOZ_BLOCK_PROFILE_DOWNGRADE', True)

with only_when(target_is_linux & compile_environment):
    option(env='MOZ_NO_PIE_COMPAT',
           help='Enable non-PIE wrapper')

    set_config('MOZ_NO_PIE_COMPAT',
               depends_if('MOZ_NO_PIE_COMPAT')(lambda _: True))

include('../toolkit/moz.configure')