| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 57d6b940383284e7adc41c943639af7dc1904cba..3b14658f8192861608a406657e2033eec07d93a4 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -302,7 +302,8 @@ def Main(argv):
|
| # Copy in 7zip for Windows.
|
| if utils.GuessOS() == 'win32':
|
| copytree(join(HOME, 'third_party', '7zip'),
|
| - join(join(UTIL, 'pub'), '7zip'))
|
| + join(join(UTIL, 'pub'), '7zip'),
|
| + ignore=ignore_patterns('.svn'))
|
|
|
| ReplaceInFiles([
|
| join(UTIL, 'pub', 'io.dart'),
|
|
|