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. |