Index: tools/observatory_tool.py |
diff --git a/tools/observatory_tool.py b/tools/observatory_tool.py |
index f54c93d124fb21c94f97d69e903bc013cb4772fe..08f807328b53887f736d142d96ab338b30003b0d 100755 |
--- a/tools/observatory_tool.py |
+++ b/tools/observatory_tool.py |
@@ -188,7 +188,7 @@ def ExecuteCommand(options, args): |
options.pub_executable, |
options.pub_snapshot, |
['build', |
- '-DOBS_VER=' + utils.GetVersion(), |
+ '-DOBS_VER=' + utils.GetVersion(ignore_svn_revision=True), |
'--output', args[0]], |
options.silent) |
elif (cmd == 'deploy'): |