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 |