Index: tools/create_sdk.py |
=================================================================== |
--- tools/create_sdk.py (revision 12971) |
+++ tools/create_sdk.py (working copy) |
@@ -326,8 +326,9 @@ |
f.write(revision + '\n') |
f.close() |
+ Copy(join(HOME, 'README.dart-sdk'), join(SDK_tmp, 'README')) |
Siggi Cherem (dart-lang)
2012/09/27 17:58:00
will this update the time-stamp even if README.dar
|
+ |
move(SDK_tmp, SDK) |
- utils.Touch(os.path.join(SDK, 'create.stamp')) |
if __name__ == '__main__': |
sys.exit(Main(sys.argv)) |