| Index: tools/dom/dom.py
|
| diff --git a/tools/dom/dom.py b/tools/dom/dom.py
|
| index 15697b30b13ca2183a880475b7ff32961daea1a1..793764caf40fa6e2a3ee2ba4cc2f7ac9a4135eca 100755
|
| --- a/tools/dom/dom.py
|
| +++ b/tools/dom/dom.py
|
| @@ -102,8 +102,10 @@ def compile_dart2js(dart_file, checked):
|
|
|
| def gen():
|
| os.chdir(os.path.join('tools', 'dom', 'scripts'))
|
| - return call([os.path.join(os.getcwd(), 'dartdomgenerator.py'),
|
| + result = call([os.path.join(os.getcwd(), 'dartdomgenerator.py'),
|
| '--rebuild', '--parallel', '--systems=htmldart2js,htmldartium'])
|
| + os.chdir(os.path.join('..', '..', '..'))
|
| + return result
|
|
|
| def http_server():
|
| print('Browse tests at '
|
|
|