| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 6579e76a8f94bee50620ff7c354752d197c5d253..8ec51c5f9a77394c58fc12809353ef3a1e6b72e2 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -22,6 +22,7 @@
|
| # ......dart_api.h
|
| # ......dart_debugger_api.h
|
| # ....lib/
|
| +# ......args/
|
| # ......builtin/
|
| # ........builtin_runtime.dart
|
| # ......io/
|
| @@ -333,7 +334,8 @@ def Main(argv):
|
| # Create and populate lib/{crypto, json, uri, utf, ...}.
|
| #
|
|
|
| - for library in ['crypto', 'json', 'unittest', 'uri', 'utf', 'i18n', 'web']:
|
| + for library in ['crypto', 'json', 'unittest', 'uri', 'utf', 'i18n', 'web',
|
| + 'args']:
|
| src_dir = join(HOME, 'lib', library)
|
| dest_dir = join(LIB, library)
|
| os.makedirs(dest_dir)
|
|
|