Index: tools/patch_sdk.py |
diff --git a/tools/patch_sdk.py b/tools/patch_sdk.py |
index f87addbe7a9bb0d52380aa5767721067c108caee..25e553ed8a489a576a10c6b43457f945ebf864d3 100755 |
--- a/tools/patch_sdk.py |
+++ b/tools/patch_sdk.py |
@@ -25,7 +25,13 @@ https://github.com/dart-lang/sdk/wiki/The-checked-in-SDK-in-tools |
def BuildArguments(): |
result = argparse.ArgumentParser(usage=usage) |
- result.add_argument("--dart-executable", help="dart executable", default=None) |
+ result.add_argument("-q", "--quiet", |
+ help="emit no output", |
+ default=False, |
+ action="store_true") |
+ result.add_argument("--dart-executable", |
+ help="dart executable", |
+ default=None) |
return result |
def main(): |
@@ -35,7 +41,8 @@ def main(): |
if utils.CheckedInSdkCheckExecutable(): |
options.dart_executable = utils.CheckedInSdkExecutable() |
elif options.dart_executable is not None: |
- DisplayBootstrapWarning() |
+ if not options.quiet: |
+ DisplayBootstrapWarning() |
options.dart_executable = os.path.abspath(options.dart_executable) |
else: |
print >> sys.stderr, 'ERROR: cannot locate dart executable' |