| 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__':
|
|
|