author Mike Hommey <mh+mozilla@glandium.org>
Thu, 17 Jan 2019 06:49:10 +0000
changeset 514225 263e45bdcd59a06a69caa935a5e8ab8d2dd2a1d1
parent 491275 bc1b51b050b02c474c44e27ad45fc52fc5873955
permissions -rw-r--r--
Bug 1520393 - Use proper defaults for --enable-jemalloc and --enable-replace-malloc. r=nalexander Back when those were added, option defaults could not indirectly depend on `target` or `host`, but that changed with bug 1322025. As a side effect, this allows to turn them into straight js_options without resorting to the manual add_old_configure_arg. Differential Revision: https://phabricator.services.mozilla.com/D16664