| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 1e99bceec3df422f1758c60d971c499a27a38618..cf847b0a638027308e9619df5f548d8579a889a7 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -151,7 +151,7 @@ def Generate(systems, database_dir, use_database_cache, dom_output_dir,
|
| target_database, html_renames, emitters, auxiliary_dir,
|
| output_dir)
|
| else:
|
| - raise Exception('Unsupported system %s' % system_name)
|
| + raise Exception('Unsupported system %s' % system)
|
|
|
| # Makes interface files available for listing in the library for the
|
| # implementation system.
|
|
|