Index: tools/write_revision_file.py |
diff --git a/tools/write_revision_file.py b/tools/write_revision_file.py |
new file mode 100755 |
index 0000000000000000000000000000000000000000..698f82ac8c9522602615f2e3b58b3a755c1364ca |
--- /dev/null |
+++ b/tools/write_revision_file.py |
@@ -0,0 +1,34 @@ |
+#!/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) |
+ revision = utils.GetGitRevision() |
+ if revision is not None: |
+ with open(args.output, 'w') as f: |
+ f.write('%s\n' % revision) |
+ return 0 |
+ |
+ |
+if __name__ == '__main__': |
+ sys.exit(Main(sys.argv)) |