| Index: editor/tools/features/com.google.dart.tools.deploy.feature_releng/build_rcp.xml
|
| ===================================================================
|
| --- editor/tools/features/com.google.dart.tools.deploy.feature_releng/build_rcp.xml (revision 17084)
|
| +++ editor/tools/features/com.google.dart.tools.deploy.feature_releng/build_rcp.xml (working copy)
|
| @@ -246,8 +246,8 @@
|
| <echo message="unzipping ${build.dart.sdk.zip} to ${build.stage.include.dir}"/>
|
| <mkdir dir="${build.stage.include.dir}" />
|
| <delete dir="${build.stage.include.dir}/dart-sdk"/>
|
| - <exec executable="unzip" dir="${build.stage.include.dir}">
|
| - <arg value="-q"/>
|
| + <exec executable="${unzip.tool}" dir="${build.stage.include.dir}">
|
| + <arg value="${unzip.arg}"/>
|
| <arg value="${build.dart.sdk.zip}"/>
|
| </exec>
|
| </target>
|
|
|