| Index: tools/observatory_tool.py
|
| diff --git a/tools/observatory_tool.py b/tools/observatory_tool.py
|
| index 606289b766ed393534d1e36acbb852007f41b87f..67c52d7128866f704feb169db24e21892b1f44de 100755
|
| --- a/tools/observatory_tool.py
|
| +++ b/tools/observatory_tool.py
|
| @@ -210,6 +210,8 @@ def main():
|
| options.pub_executable = os.path.abspath(options.pub_executable)
|
| if (options.pub_snapshot != None):
|
| options.pub_snapshot = os.path.abspath(options.pub_snapshot)
|
| + if (options.stamp != ''):
|
| + options.stamp = os.path.abspath(options.stamp)
|
| if len(args) == 1:
|
| args[0] = os.path.abspath(args[0])
|
| # Pub must be run from the project's root directory.
|
|
|