Bug 1321065 - Default to --enable-profiling for nightly milestones. r=gps
☠☠ backed out by 8f217ad4bcd3 ☠ ☠
authorMike Hommey <mh+mozilla@glandium.org>
Wed, 30 Nov 2016 06:47:38 +0900
changeset 324795 7ad3151a0a797b2230a45483c1adabf4d896405b
parent 324794 c021b68fc7dfbc9890e225db9d98e4763d7f08b6
child 324796 02c0dad1974eb9a35c324543cbfbf1e94ba486df
push id24
push usermaklebus@msu.edu
push dateTue, 20 Dec 2016 03:11:33 +0000
reviewersgps
bugs1321065
milestone53.0a1
Bug 1321065 - Default to --enable-profiling for nightly milestones. r=gps
js/moz.configure
--- a/js/moz.configure
+++ b/js/moz.configure
@@ -137,16 +137,17 @@ js_option('--enable-callgrind', env='MOZ
 def callgrind(value):
     if value:
         return True
 
 set_define('MOZ_CALLGRIND', callgrind)
 imply_option('--enable-profiling', callgrind)
 
 js_option('--enable-profiling', env='MOZ_PROFILING',
+          default=delayed_getattr(milestone, 'is_nightly'),
           help='Set compile flags necessary for using sampling profilers '
                '(e.g. shark, perf)')
 
 @depends('--enable-profiling')
 def profiling(value):
     if value:
         return True