Rename dir.bz2 since that's the most likely case now.
authorZac Medico <zmedico@gentoo.org>
Thu, 1 Feb 2007 20:06:26 +0000 (20:06 -0000)
committerZac Medico <zmedico@gentoo.org>
Thu, 1 Feb 2007 20:06:26 +0000 (20:06 -0000)
svn path=/main/trunk/; revision=5865

bin/emerge

index da873ed8324822da87801394a3ed449296dc9163..d33fa06159a1b5eb723890b399ac07fbd87fc243 100755 (executable)
@@ -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")