| Index: dart/tools/create_editor.py
|
| diff --git a/dart/tools/create_editor.py b/dart/tools/create_editor.py
|
| index 086c119ccb1ed0dbd14feb568771f53b9aaf30f6..aa1466537cb77fd9cda868c37d0484b247d95129 100644
|
| --- a/dart/tools/create_editor.py
|
| +++ b/dart/tools/create_editor.py
|
| @@ -195,6 +195,7 @@ def Main():
|
| '-Dbuild.dart.sdk=' + GetSdkPath(),
|
| '-Dbuild.no.properties=true',
|
| '-Dbuild.channel=' + utils.GetChannel(),
|
| + '-Dbuild.version.qualifier=' + utils.GetEclipseVersionQualifier(),
|
| '-buildfile',
|
| buildScript]
|
| print build_cmd
|
|
|