| Index: tools/observatory_tool.py
|
| diff --git a/tools/observatory_tool.py b/tools/observatory_tool.py
|
| index 710cfa53297893ac5ce5f921f7dcadfe06bb1f5b..45fc36a9ef2901c79e25923e869de30e51e79fb9 100755
|
| --- a/tools/observatory_tool.py
|
| +++ b/tools/observatory_tool.py
|
| @@ -44,6 +44,11 @@ def ChangeDirectory(directory):
|
| os.chdir(directory);
|
|
|
| def PubGet(dart_executable, pkg_root):
|
| + # Always remove pubspec.lock before running 'pub get'.
|
| + try:
|
| + os.remove('pubspec.lock');
|
| + except OSError as e:
|
| + pass
|
| return subprocess.call(['python',
|
| RUN_PUB,
|
| '--package-root=' + pkg_root,
|
|
|