| Index: dart/tools/touch_version.py
|
| diff --git a/dart/tools/touch_version.py b/dart/tools/touch_version.py
|
| deleted file mode 100644
|
| index 98841fe9d6bdb0463c051a2c086e4f5d2aa61a3a..0000000000000000000000000000000000000000
|
| --- a/dart/tools/touch_version.py
|
| +++ /dev/null
|
| @@ -1,18 +0,0 @@
|
| -# Copyright (c) 2012, 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.
|
| -#
|
| -# 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
|
| -# from a simple path.
|
| -runtime_src = os.path.join(os.path.dirname(sys.argv[0]), os.pardir)
|
| -os.chdir(runtime_src)
|
| -
|
| -if __name__ == '__main__':
|
| - print 'Touching tools/VERSION.'
|
| - os.utime(os.path.join('tools', 'VERSION'), None)
|
| - sys.exit(0)
|
|
|