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