| Index: sdk/lib/html/scripts/dartdomgenerator.py
|
| diff --git a/sdk/lib/html/scripts/dartdomgenerator.py b/sdk/lib/html/scripts/dartdomgenerator.py
|
| index 18cba86ef8ee8e39900924f9310b20ded303b48d..50f10b9384cfcacb46fd6ed97a2b4cfbec3caff7 100755
|
| --- a/sdk/lib/html/scripts/dartdomgenerator.py
|
| +++ b/sdk/lib/html/scripts/dartdomgenerator.py
|
| @@ -191,12 +191,18 @@ def main():
|
| '../dart2js')
|
| GenerateSingleFile(os.path.join(dart2js_output_dir, 'svg_dart2js.dart'),
|
| '../../svg/dart2js')
|
| + GenerateSingleFile(
|
| + os.path.join(dart2js_output_dir, 'web_audio_dart2js.dart'),
|
| + '../../web_audio/dart2js')
|
| if 'htmldartium' in systems:
|
| _logger.info('Generating dartium single files.')
|
| GenerateSingleFile(os.path.join(dartium_output_dir, 'html_dartium.dart'),
|
| '../dartium')
|
| GenerateSingleFile(os.path.join(dartium_output_dir, 'svg_dartium.dart'),
|
| '../../svg/dartium')
|
| + GenerateSingleFile(
|
| + os.path.join(dartium_output_dir, 'web_audio_dartium.dart'),
|
| + '../../web_audio/dartium')
|
|
|
| if __name__ == '__main__':
|
| sys.exit(main())
|
|
|