| 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'):
|
|
|