Index: tools/patch_sdk.py |
diff --git a/tools/patch_sdk.py b/tools/patch_sdk.py |
index 25e553ed8a489a576a10c6b43457f945ebf864d3..212514a8190c91144052e5513e2f7be5560185df 100755 |
--- a/tools/patch_sdk.py |
+++ b/tools/patch_sdk.py |
@@ -48,7 +48,8 @@ def main(): |
print >> sys.stderr, 'ERROR: cannot locate dart executable' |
return -1 |
dart_file = os.path.join(os.path.dirname(__file__), 'patch_sdk.dart') |
- subprocess.check_call([options.dart_executable, dart_file] + args) |
+ subprocess.check_call( |
+ [options.dart_executable, '--checked', dart_file] + args) |
return 0 |
if __name__ == '__main__': |