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)) |