| Index: utils/compiler/remove_old_scripts.py
|
| ===================================================================
|
| --- utils/compiler/remove_old_scripts.py (revision 21139)
|
| +++ utils/compiler/remove_old_scripts.py (working copy)
|
| @@ -1,28 +0,0 @@
|
| -#!/usr/bin/env python
|
| -# 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.
|
| -
|
| -'''
|
| -Tool for deleting files given on the command line, and touching a
|
| -file on success.
|
| -
|
| -Usage:
|
| - python tools/list_files.py FILE_TO_TOUCH FILES_TO_DELETE...
|
| -'''
|
| -
|
| -import os
|
| -import sys
|
| -
|
| -
|
| -def main(argv):
|
| - file_to_touch = argv[1]
|
| - for filename in argv[2:]:
|
| - if os.path.exists(filename):
|
| - os.remove(filename)
|
| - with file(file_to_touch, 'a'):
|
| - os.utime(file_to_touch, None)
|
| -
|
| -
|
| -if __name__ == '__main__':
|
| - sys.exit(main(sys.argv))
|
|
|