| Index: tools/write_version_file.py
|
| diff --git a/tools/write_version_file.py b/tools/write_version_file.py
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..f655845fe4c4a7e51a09548ce0a5fbc922cd24b6
|
| --- /dev/null
|
| +++ b/tools/write_version_file.py
|
| @@ -0,0 +1,32 @@
|
| +#!/usr/bin/env python
|
| +# Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file
|
| +# for details. All rights reserved. Use of this source code is governed by a
|
| +# BSD-style license that can be found in the LICENSE file.
|
| +
|
| +import argparse
|
| +import os
|
| +import sys
|
| +import utils
|
| +
|
| +def ParseArgs(args):
|
| + args = args[1:]
|
| + parser = argparse.ArgumentParser(
|
| + description='A script to write the version string to a file')
|
| +
|
| + parser.add_argument('--output', '-o',
|
| + type=str,
|
| + required=True,
|
| + help='File to write')
|
| +
|
| + return parser.parse_args(args)
|
| +
|
| +
|
| +def Main(argv):
|
| + args = ParseArgs(argv)
|
| + version = utils.GetVersion()
|
| + with open(args.output, 'w') as versionFile:
|
| + versionFile.write(version + '\n')
|
| + return 0
|
| +
|
| +if __name__ == '__main__':
|
| + sys.exit(Main(sys.argv))
|
|
|