diff options
-rwxr-xr-x | bin/emerge | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/emerge b/bin/emerge index da873ed83..d33fa0615 100755 --- a/bin/emerge +++ b/bin/emerge @@ -3470,7 +3470,7 @@ def chk_updated_info_files(root, infodirs, prev_mtimes, retval): for inforoot in regen_infodirs: if inforoot=='': continue - for filename in ("dir", "dir.gz"): + for filename in ("dir", "dir.gz", "dir.bz2"): file_path = os.path.join(inforoot, filename) try: os.rename(file_path, file_path + ".old") |