| Index: lib/html/scripts/dartdomgenerator.py
|
| diff --git a/lib/html/scripts/dartdomgenerator.py b/lib/html/scripts/dartdomgenerator.py
|
| index 46ae9bae32e49961bacc0e0da373c7a7cdb4b0f6..dc43468dcecbc337e326fe36e4281aca90c74d33 100755
|
| --- a/lib/html/scripts/dartdomgenerator.py
|
| +++ b/lib/html/scripts/dartdomgenerator.py
|
| @@ -156,6 +156,9 @@ def GenerateSingleFile(library_path, output_dir):
|
|
|
| def main():
|
| parser = optparse.OptionParser()
|
| + parser.add_option('--parallel', dest='parallel',
|
| + action='store_true', default=False,
|
| + help='Use fremontcut in parallel mode.')
|
| parser.add_option('--rebuild', dest='rebuild',
|
| action='store_true', default=False,
|
| help='Rebuild the database from IDL using fremontcut.')
|
| @@ -189,7 +192,7 @@ def main():
|
|
|
| if options.rebuild:
|
| # Parse the IDL and create the database.
|
| - database = fremontcutbuilder.main()
|
| + database = fremontcutbuilder.main(options.parallel)
|
| else:
|
| # Load the previously generated database.
|
| database = LoadDatabase(database_dir, options.use_database_cache)
|
|
|