diff options
Diffstat (limited to 'devtools/moz.build')
-rw-r--r-- | devtools/moz.build | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/devtools/moz.build b/devtools/moz.build index 8e368facbb..dd9f90c5ae 100644 --- a/devtools/moz.build +++ b/devtools/moz.build @@ -7,11 +7,13 @@ if CONFIG['MOZ_DEVTOOLS']: DIRS += ['client'] - -DIRS += [ - 'server', - 'shared', -] +if CONFIG['MOZ_DEVTOOLS_SERVER']: + DIRS += [ + 'server', + 'shared', + ] +else: + DIRS += ['shared/heapsnapshot/'] # /browser uses DIST_SUBDIR. We opt-in to this treatment when building # DevTools for the browser to keep the root omni.ja slim for use by external XUL |