diff options
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/gen_fast_manifest.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/utils/gen_fast_manifest.py b/utils/gen_fast_manifest.py index 320b682..ccba791 100755 --- a/utils/gen_fast_manifest.py +++ b/utils/gen_fast_manifest.py @@ -86,17 +86,16 @@ def gen_manifest(top_dir): manifest_entries = [] # load DIST and IGNORE entries from existing Manifest - had_manifest = False try: with io.open(os.path.join(top_dir, 'Manifest'), 'rb') as f: for l in f: if l.startswith(b'DIST') or l.startswith(b'IGNORE'): manifest_entries.append(l.rstrip()) + had_manifest = True except IOError as e: if e.errno != errno.ENOENT: raise - else: - had_manifest = True + had_manifest = False # generate local file entries compat_mode = generate_manifest_entries(manifest_entries, top_dir) |