| Index: tools/create_sdk.py
|
| ===================================================================
|
| --- tools/create_sdk.py (revision 10018)
|
| +++ tools/create_sdk.py (working copy)
|
| @@ -333,7 +333,7 @@
|
| # Create and populate lib/{crypto, json, uri, utf, ...}.
|
| #
|
|
|
| - for library in ['crypto', 'json', 'unittest', 'uri', 'utf', 'i18n', 'web']:
|
| + for library in ['crypto', 'i18n', 'json', 'math', 'unittest', 'uri', 'utf', 'web']:
|
| src_dir = join(HOME, 'lib', library)
|
| dest_dir = join(LIB, library)
|
| os.makedirs(dest_dir)
|
|
|