Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index c9dec1ba42068861204252a0fa8f8f7b1d19167f..5f3ff48221995d4f3222e69e6552b78aeb457e39 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -257,7 +257,7 @@ def Main(): |
if revision is not None: |
with open(os.path.join(SDK_tmp, 'revision'), 'w') as f: |
- f.write(revision + '\n') |
+ f.write('%s\n' % revision) |
f.close() |
Copy(join(HOME, 'README.dart-sdk'), join(SDK_tmp, 'README')) |