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()) |