Chromium Code Reviews| Index: dart/utils/compiler/remove_old_scripts.py |
| diff --git a/dart/utils/compiler/remove_old_scripts.py b/dart/utils/compiler/remove_old_scripts.py |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..ffa6400892ad71070ba151eb8e57603ea75e033e |
| --- /dev/null |
| +++ b/dart/utils/compiler/remove_old_scripts.py |
| @@ -0,0 +1,28 @@ |
| +#!/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... |
|
kustermann
2012/12/06 15:51:40
You should change that to "remove_old_scripts.py".
|
| +''' |
| + |
| +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)) |