Index: dart/tools/create_sdk.py |
diff --git a/dart/tools/create_sdk.py b/dart/tools/create_sdk.py |
index b95147a4ec43e0a9661f1e763f9c9413c2d2693a..4c573d80acf0c17927ef188f95957b2f3f22f0bc 100755 |
--- a/dart/tools/create_sdk.py |
+++ b/dart/tools/create_sdk.py |
@@ -432,6 +432,7 @@ def Main(argv): |
f.close() |
move(SDK_tmp, SDK) |
+ utils.Touch(os.path.join(SDK, 'create.stamp')) |
if __name__ == '__main__': |
sys.exit(Main(sys.argv)) |