Bug 902825 - Mark MOZ_CONFIGURE_OPTIONS as non-global; r?glandium draft
authorMike Shal <mshal@mozilla.com>
Wed, 04 Oct 2017 16:23:23 -0400
changeset 675776 06de8d4404ccb85aa21d18ea808d3be4e51e5887
parent 675775 efbf131008f7c62ede3654fdaf11750f164fe222
child 675777 c39236c283cf123c84563d9a3ad4126be048eda8
push id83240
push userbmo:mshal@mozilla.com
push dateThu, 05 Oct 2017 21:34:38 +0000
reviewersglandium
bugs902825
milestone58.0a1
Bug 902825 - Mark MOZ_CONFIGURE_OPTIONS as non-global; r?glandium This option isn't used in Makefiles, and it invalidates autoconf.mk everytime a .mozconfig option is changed which rebuilds the world. MozReview-Commit-ID: GWM6Y6i1FPQ
build/moz.configure/init.configure
--- a/build/moz.configure/init.configure
+++ b/build/moz.configure/init.configure
@@ -982,16 +982,17 @@ def all_configure_options():
         # separate for ease of understanding and ease of removal)
         elif (option.help == 'Help missing for old configure options' and
                 option in __sandbox__._raw_options):
             result.append(__sandbox__._raw_options[option])
 
     return quote(*result)
 
 set_config('MOZ_CONFIGURE_OPTIONS', all_configure_options)
+non_global('MOZ_CONFIGURE_OPTIONS')
 
 
 # This is temporary until js/src/configure and configure are merged.
 # Use instead of option() in js/moz.configure and more generally, for
 # options that are shared between configure and js/src/configure.
 @template
 def js_option(*args, **kwargs):
     opt = option(*args, **kwargs)