| Index: tools/observatory_tool.py
|
| diff --git a/tools/observatory_tool.py b/tools/observatory_tool.py
|
| index 90c2aa272f81eae443184164dbfefa871ea37938..062ad1c24f40a5582834220a83f6e3e1c3d7cad1 100755
|
| --- a/tools/observatory_tool.py
|
| +++ b/tools/observatory_tool.py
|
| @@ -139,7 +139,9 @@ def ExecuteCommand(options, args):
|
| options.pub_executable,
|
| options.pub_snapshot,
|
| options.package_root,
|
| - ['build', '--output', args[0]],
|
| + ['build',
|
| + '-DOBS_VER=' + utils.GetVersion(),
|
| + '--output', args[0]],
|
| options.silent)
|
| elif (cmd == 'deploy'):
|
| Deploy('build', 'deployed')
|
|
|