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