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 |