Index: content/app/strings/rm_old_file.py |
diff --git a/content/app/strings/rm_old_file.py b/content/app/strings/rm_old_file.py |
new file mode 100644 |
index 0000000000000000000000000000000000000000..401dbb20051d8deb8456d27c99868a898eb24c94 |
--- /dev/null |
+++ b/content/app/strings/rm_old_file.py |
@@ -0,0 +1,19 @@ |
+#!/usr/bin/env python |
+# Copyright 2014 The Chromium Authors. All rights reserved. |
+# Use of this source code is governed by a BSD-style license that can be |
+# found in the LICENSE file. |
+ |
+"""Removes an old grit header file.""" |
+ |
+# TODO(tfarina): Remove this file in two-three weeks. |
+ |
+import os |
+import sys |
+ |
+ |
+def Main(file_to_remove): |
+ if os.path.exists(file_to_remove): |
+ os.remove(file_to_remove) |
+ |
+if __name__ == '__main__': |
+ sys.exit(Main(sys.argv[1])) |