- Add a script which touches the tools/VERSION file to ensure

touch_version.py

Index: touch_version.py
===================================================================
--- touch_version.py	(revision 0)
+++ touch_version.py	(revision 0)
@@ -0,0 +1,18 @@
+# Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file

[siva, 2012/10/11 20:51:47]

2012

[Ivan Posva, 2012/10/11 22:16:15]

Done.

+# 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.
+#
+# This python script "touches" the tools/VERSION file.
+
+import os
+import sys
+
+# Change into the dart directory as we want to be able to access the VERSION file

[ricow1, 2012/10/12 05:51:12]

long line

+# from a simple path.
+runtime_src = os.path.join(os.path.dirname(sys.argv[0]), os.pardir)

[ricow1, 2012/10/12 05:51:12]

the version file is right next to this right, so you could just do:
tools = os.path.dirname(os.path.realpath(__file__))
os.utime(os.path.join('tools', 'VERSION'), None)

[Ivan Posva, 2012/10/12 05:55:19]

Probably without the quotes around tools? I'll try that.

[ricow1, 2012/10/12 05:57:53]

Ah, yes, sorry

+os.chdir(runtime_src)
+
+if __name__ == '__main__':
+  print 'Touching tools/VERSION.'
+  os.utime(os.path.join('tools', 'VERSION'), None)
+  sys.exit(0)