Chromium Code Reviews| Index: lib/dom/scripts/dartdomgenerator.py |
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py |
| index ff1bfd25b9faf0267f88b1abf9c78f9e503061e2..d48c5af86c8dc1b3c2f7bcc4c0b8983fc2ac3196 100755 |
| --- a/lib/dom/scripts/dartdomgenerator.py |
| +++ b/lib/dom/scripts/dartdomgenerator.py |
| @@ -118,6 +118,7 @@ def GenerateDOM(systems, generate_html_systems, output_dir, |
| generator.Flush() |
| +def GenerateSingleFile(systems): |
|
sra1
2012/04/19 18:17:10
Since many systems are active in one run, 'Single'
|
| if 'frog' in systems: |
| _logger.info('Copy dom_frog to frog/') |
| subprocess.call(['cd ../generated ; ' |
| @@ -177,12 +178,14 @@ def main(): |
| '../generated') |
| GenerateDOM(dom_systems, False, output_dir, |
| database_dir, use_database_cache) |
| + GenerateSingleFile(dom_systems) |
| if html_systems: |
| output_dir = options.output_dir or os.path.join(current_dir, |
| '../../html/generated') |
| GenerateDOM(html_systems, True, output_dir, |
| database_dir, use_database_cache or dom_systems) |
| + GenerateSingleFile(html_systems) |
| if __name__ == '__main__': |
| sys.exit(main()) |