Index: dart/editor/build/build.py |
diff --git a/dart/editor/build/build.py b/dart/editor/build/build.py |
index a2d1de6905d30901dd1f69ee9c382589bc5d5798..7bd88fb29c9c0f1bc8b6d14554622466bb172ff2 100755 |
--- a/dart/editor/build/build.py |
+++ b/dart/editor/build/build.py |
@@ -211,6 +211,9 @@ class AntWrapper(object): |
args.extend(extra_args) |
args.append('-Dbuild.local.build=false') |
args.append('-Dbuild.channel=' + CHANNEL) |
+ args.append('-Ddart.version.full=' + utils.GetVersion()) |
+ args.append('-Dbuild.version.qualifier=' + |
+ utils.GetEclipseVersionQualifier()) |
extra_args = os.environ.get('ANT_EXTRA_ARGS') |
if extra_args is not None: |