Change make format to ignore deleted files.

2014-03-28 14:53:59 +01:00 · 2014-03-28 14:53:59 +01:00 · e9a6ae87be
parent 4ab4bbc23f
commit e9a6ae87be
1 changed files with 3 additions and 0 deletions
--- a/dist/format.py
+++ b/dist/format.py
@ -42,6 +42,9 @@ def main():
      continue

    path = os.path.join(root_dir, filename)
+    if not os.path.exists(path):
+      # Probably a deletion
+      continue
    original = open(path).read()
    response = urllib2.urlopen(args.url, original)
    formatted = response.read()