| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 28f8dc1249100d06ba6854b8a1b60916cf6cc5fe..d96ebfea4e3f1c5cda3747b0941468aa81b78384 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -407,7 +407,7 @@ def Main(argv):
|
| join(coreimpl_dest_dir, target_dir, filename))
|
|
|
| for filename in coreimpl_runtime_sources:
|
| - if filename.endswith('.dart') and not filename.endswith('_patch.dart')::
|
| + if filename.endswith('.dart') and not filename.endswith('_patch.dart'):
|
| copyfile(join('runtime', 'lib', filename),
|
| join(coreimpl_dest_dir, 'runtime', filename))
|
|
|
| @@ -417,7 +417,7 @@ def Main(argv):
|
| for filename in coreimpl_sources:
|
| dest_file.write('#source("runtime/' + filename + '");\n')
|
| for filename in coreimpl_runtime_sources:
|
| - if filename.endswith('.dart') and not filename.endswith('_patch.dart')::
|
| + if filename.endswith('.dart') and not filename.endswith('_patch.dart'):
|
| dest_file.write('#source("runtime/' + filename + '");\n')
|
| dest_file.close()
|
|
|
|
|