| OLD | NEW |
| (Empty) |
| 1 #!/usr/bin/env python | |
| 2 # Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
| 3 # for details. All rights reserved. Use of this source code is governed by a | |
| 4 # BSD-style license that can be found in the LICENSE file. | |
| 5 | |
| 6 ''' | |
| 7 Tool for deleting files given on the command line, and touching a | |
| 8 file on success. | |
| 9 | |
| 10 Usage: | |
| 11 python tools/list_files.py FILE_TO_TOUCH FILES_TO_DELETE... | |
| 12 ''' | |
| 13 | |
| 14 import os | |
| 15 import sys | |
| 16 | |
| 17 | |
| 18 def main(argv): | |
| 19 file_to_touch = argv[1] | |
| 20 for filename in argv[2:]: | |
| 21 if os.path.exists(filename): | |
| 22 os.remove(filename) | |
| 23 with file(file_to_touch, 'a'): | |
| 24 os.utime(file_to_touch, None) | |
| 25 | |
| 26 | |
| 27 if __name__ == '__main__': | |
| 28 sys.exit(main(sys.argv)) | |
| OLD | NEW |