don't warn for directories
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 1 Aug 2023 04:52:56 +0000 (21:52 -0700)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 Dec 2023 19:26:20 +0000 (19:26 +0000)
src/openpower/decoder/pseudo/pagereader.py

index 069c44e53a792dce3a3ce2b4ac29c9b162fbc2d8..5f30b95440edea848262ad7e229d0c304d254508 100644 (file)
@@ -98,7 +98,8 @@ class ISA:
             if "swp" in pth:
                 continue
             if not pth.endswith(".mdwn"):
-                log ("warning, file not .mdwn, skipping", pth)
+                if not os.path.isdir(os.path.join(get_isa_dir(), pth)):
+                    log("warning, file not .mdwn, skipping", pth)
                 continue
             self.read_file(pth)
             continue