| Index: tools/dom/scripts/dartdomgenerator.py
|
| diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py
|
| index e57e678cb21b650cb1b76828cb2be2ee75916664..d9e1837695ceac8cd4e742c83f8b940d00b439e0 100755
|
| --- a/tools/dom/scripts/dartdomgenerator.py
|
| +++ b/tools/dom/scripts/dartdomgenerator.py
|
| @@ -200,7 +200,7 @@ def main():
|
| systems = options.systems.split(',')
|
|
|
| output_dir = options.output_dir or os.path.join(
|
| - current_dir, '..', '..', utils.GetBuildDir(utils.GuessOS(), None),
|
| + current_dir, '..', '..', utils.GetBuildDir(utils.GuessOS()),
|
| 'generated')
|
|
|
| dart2js_output_dir = None
|
|
|