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