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..69fd59ef4e35c6b0945c92228cfe4852ca860418 100755 |
--- a/sdk/lib/html/scripts/dartdomgenerator.py |
+++ b/sdk/lib/html/scripts/dartdomgenerator.py |
@@ -191,12 +191,16 @@ def main(): |
'../dart2js') |
GenerateSingleFile(os.path.join(dart2js_output_dir, 'svg_dart2js.dart'), |
'../../svg/dart2js') |
+ GenerateSingleFile(os.path.join(dart2js_output_dir, 'audio_dart2js.dart'), |
+ '../../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, 'audio_dartium.dart'), |
+ '../../audio/dartium') |
if __name__ == '__main__': |
sys.exit(main()) |