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