| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 6c8de9bc22df559765489eeb038b7be798f6c4fc..57d6b940383284e7adc41c943639af7dc1904cba 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -299,6 +299,18 @@ def Main(argv):
|
| copytree(join(HOME, 'utils', 'pub'), join(UTIL, 'pub'),
|
| ignore=ignore_patterns('.svn', 'sdk'))
|
|
|
| + # Copy in 7zip for Windows.
|
| + if utils.GuessOS() == 'win32':
|
| + copytree(join(HOME, 'third_party', '7zip'),
|
| + join(join(UTIL, 'pub'), '7zip'))
|
| +
|
| + ReplaceInFiles([
|
| + join(UTIL, 'pub', 'io.dart'),
|
| + ], [
|
| + ("var pathTo7zip = '../../third_party/7zip/7za.exe';",
|
| + "var pathTo7zip = '7zip/7za.exe';"),
|
| + ])
|
| +
|
| revision = utils.GetSVNRevision()
|
|
|
| # Copy dart2js.
|
|
|